-
1
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Berlin ; New York : Springer, 2005Format: Electronic Conference Proceeding eBook
MNLINK will be unavailable for requesting while undergoing scheduled maintenance Sunday, July 21 from 5-9 AM.