Roy H. Campbell;Robert B. Terwilliger
-;-
An early report on encompass
ICSE '88 Proceedings of the 10th international conference on Software engineering
An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification
ACM SIGSOFT Software Engineering Notes