Formal methods: state of the art and new directions

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Boca, Paul (BerichterstatterIn), Bowen, Jonathan P. (BerichterstatterIn), Siddiqi, Jawed I. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Springer c 2010
Schlagworte:	Formal methods (Computer science) > Aufsatzsammlung > Formale Methode
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!