Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 167-188
- https://doi.org/10.1007/3-540-49255-0_39
Abstract
No abstract availableKeywords
All Related Versions
This publication has 3 references indexed in Scilit:
- Logical specification of reactive and real-time systemsJournal of Logic and Computation, 1998
- Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)Published by Springer Nature ,1998
- On the teaching of programming, i.e. on the teaching of thinkingLecture Notes in Computer Science, 1976