Andrzej Tarlecki
AuthID: R-00J-580
1
TITLE: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
AUTHORS: John S Fitzgerald; Ian J Hayes; Andrzej Tarlecki;
PUBLISHED: 2005, SOURCE: FM, VOLUME: 3582
AUTHORS: John S Fitzgerald; Ian J Hayes; Andrzej Tarlecki;
PUBLISHED: 2005, SOURCE: FM, VOLUME: 3582
INDEXED IN: 
DBLP
DBLP