Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: M
Number of items: 1.

M

Miarka, Ralph and Derrick, John and Boiten, Eerke Albert (2002) Handling Inconsistencies in Z using Quasi-Classical Logic. In: Berto, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds. ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-225. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13830)

This list was generated on Thu Mar 28 23:09:07 2024 GMT.