Proceedings of the Second International Conference on Integrated Formal Methods

Semantic Web for Extending and Linking Formalisms

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

A Cloverleaf of Software Engineering

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods

Semantics transformation of NFA to Z notation by constructing union of regular languages

ACS'08 Proceedings of the 8th conference on Applied computer scince

Constructive formal conversion of Moore machine to deterministic finite automata

MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems