Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings (LECTURE NOTES IN COMPUTER SCIENCE)

• Authors:

• Eerke Boiten;John Derrick;Graeme Smith

• Affiliations:

• -;-;-

• Venue:
• Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings (LECTURE NOTES IN COMPUTER SCIENCE)
• Year:
• 2004