@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 2025/07/28}}}