@inproceedings{inproceedings, title  = {{Formal program development with approximations}},

 url = {{}},

 year = {{2005}},

 month = {{1}},

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

 volume = {{3455}},

 journal = {{ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT  IN Z AND B, PROCEEDINGS}},

 pages = {{374-392}},

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