A logic-based calculus of events
New Generation Computing
A deductive solution for plan generation
New Generation Computing
Specification case studies
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Artificial intelligence and mathematical theory of computation
Software engineering (4th ed.): instructor's guide
Software engineering (4th ed.): instructor's guide
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
FOLON: An Environment for Declarative Construction of Logic Programs
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
| Hi-index | 0.00 |