FME 2003: Formal Methods: International Symposium of Formal ...
Preview
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Keijiro Araki, Stefania Gnesi, Dion Mandrioli. Checking and Reasoning about Semantic Web through Alloy Jin Song Dong, Jing Sun, and Hai ...