Description: 1st South - East European workshop on formal methods

Corporate Author:	South - East European Workshop on Formal Methods
Other Authors:	Δρανίδης, Δημήτρης
Format:	Book
Language:	English
Published:	Thessaloniki South East European Research Centre c2004
Subjects:	Τυπικές μέθοδοι (Επιστήμη των υπολογιστών)