@inproceedings{inproceedings, title  = {{Handling Inconsistencies in Z Using Quasi-Classical Logic.}},

 publisher = {{Springer}},

 url = {{https://doi.org/10.1007/3-540-45648-1 }},

 year = {{2002}},

 month = {{1}},

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

 volume = {{2272}},

 journal = {{ZB}},

 pages = {{204-225}},

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