Shifts in Reasoning about Software and Hardware Systems: Must Operational Models Underpin Declarative Ones?

Marian Petre
Type of Publication: Paper
Conference: PPIG 1991 - 3rd Annual Workshop
Publication Year: 1991
Paper #: 7
TitleShifts in Reasoning about Software and Hardware Systems: Must Operational Models Underpin Declarative Ones?
Publication TypePaper
AuthorsPetre, M
PPIG Workshop: 
1991-01-3rd