1984-03-01
Algebraic tools for system construction
Publication
Publication
Presented at the
Logics of Programs, Pittsburgh, PA, USA
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
Logics of Programs | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., Klop, J. W., & Tucker, J. (1984). Algebraic tools for system construction. In Logics of Programs: Workshop Carnegie Mellon University Pittburgh, PA (pp. 34–44). Springer. |