@book{book, title  = {{Integrated formal methods}},

 publisher = {{Springer}},

 url = {{}},

 year = {{2004}},

 month = {{1}},

 author = {{Boiten E and Derrick J and Smith G}},

 doi = {{10.1007/b96106}},

 isbn = {{9783540213772}},

 note = {{Accessed on 2024/12/26}}}