Full Professor (email)
This paper provides a description and summary of the solutions submitted to a competition in formal specification, which was held during FM’99 in Toulouse, September 1999.
10.1007/s001650070012