@inproceedings{inproceedings, title  = {{Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings}},

 publisher = {{Springer}},

 url = {{}},

 year = {{2004}},

 month = {{1}},

 author = {{}},

 volume = {{2999}},

 journal = {{IFM}},

 note = {{Accessed on 2025/01/13}}}