Carlo A. Furia

Identifiers

Open LibraryOL7576335A

Top Subjects

Software engineering (2)
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)
Programming Techniques (1)
Mathematical Logic and Formal Languages (1)
Logic design (1)

Books by Carlo A. Furia

Total count: 4

Objects, Models, Components, Patterns50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

Springer Berlin Heidelberg2012-01-01
Modeling Time in Computing

Springer London, Limited2012-01-01
Tests and Proofs10th International Conference, TAP 2016, Held As Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Springer London, Limited2016-01-01
Integrated Formal Methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Springer2018-08-09