1st South-East European Workshop on Formal Methods SEEFM03

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	South-East European Workshop on Formal Methods (VerfasserIn), South-East European Research Centre (Herausgebendes Organ)
Weitere Verfasser:	Dranidis, Dimitris (HerausgeberIn), Tigka, Kalliopi (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Thessaloniki South-East European Research Centre 2004
Schlagworte:	Konferenzschrift > Formale Methode
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!