@article{article, title  = {{Guest Editorial Integrated Formal Methods.}},

 url = {{}},

 year = {{2005}},

 month = {{1}},

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

 volume = {{17}},

 journal = {{Formal Asp. Comput.}},

 pages = {{389-389}},

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