PPIG 1991 - 3rd Annual Workshop
Shifts in Reasoning about Software and Hardware Systems: Must Operational Models Underpin Declarative Ones?
Marian Petre
Abstract: