Original language | English |
---|---|
Title of host publication | Proceedings of the 5th International Conference on Software Engineering and Formal Methods |
Publisher | . |
Pages | 115-125 |
Publication status | Published - 2007 |
Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review