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

 url = {{}},

 year = {{2005}},

 month = {{11}},

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

 volume = {{17}},

 journal = {{Formal Aspects Comput.}},

 pages = {{389-389}},

 note = {{Accessed on 2025/11/27}}}