Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Bibliographische Detailangaben

Hauptverfasser:	Boiten, Eerke, Derrick, John, Smith, Graeme
Format:	Buch
Sprache:	eng
Schlagworte:	Congresses Formal methods (Computer science)
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!