Summary goes here

Bibliografiset tiedot

Aineistotyyppi:	Kirja
Kieli:	englanti
Aiheet:	Formal methods (Computer science) Méthodes formelles (Informatique) System design. Informatique. Conference papers and proceedings Festschriften.
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!