10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 79-90
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 91-104
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 105-114