Pubblicazioni
-
M. Bravetti; R. Gorrieri, Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]
-
M. Bravetti; G. Zavattaro, Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]
-
Marchesi M; Succi G, Extreme Programming and Agile Processes in Software Engineering -- 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings, Heidelberg, Springer, 2003, pp. 479 . [Curatela]
-
Knauber P; Succi G, Software Product Lines: Economics, Architectures, and Implications - Proceedings of Workshop #15 at 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 10th 2000, Kaiserslautern, Fraunhofer IESE Publisher, 2000, pp. 176 . [Curatela]
-
Tick E; Succi G, Implementations of Logic Programming Systems, Dordrecht, Kluwer Academic Publishers, 1994, pp. 260 . [Curatela]