Skip to main content

Relating Z and first−order logic

Andrew Martin

Book Title
FM'99 – Formal Methods
Editor
Jeanette M. Wing and Jim Woodcock and Jim Davies
Month
sep
Number
1708‚1709
Pages
1266–1280
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Year
1999