Summary goes here

Xehetasun bibliografikoak

Formatua:	Liburua
Hizkuntza:	ingelesa
Gaiak:	Formal methods (Computer science) Méthodes formelles (Informatique) System design. Informatique. Conference papers and proceedings Festschriften.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!