Languages
Damiani, Ferruccio.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; SpringerLink (Online service)
(Electronic resources)
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
Berardi, Stefano.; Coppo, Mario, (1947-); Damiani, Ferruccio.; SpringerLink (Online service); TYPES 2003 ((2003 :)
(Language materials, printed)
Coordination models and languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
COORDINATION (Conference) (2021 :); Damiani, Ferruccio.; Dardha, Ornela.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Software architecture
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Programming Techniques.
Management of Computing and Information Systems.
Database Management.
Computer programming
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Object-oriented programming (Computer science)
Computer Applications.