Computer Aided Transformation of Z into Prolog

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 71-85
https://doi.org/10.1007/978-1-4471-3877-8_5

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A Comparative Exploration of Concurrent Logic Languages
The Knowledge Engineering Review, 1989
Formal specification of an access control system
Software: Practice and Experience, 1987