Case Study: Stepwise Development of a Communication Processor using Trace Logic

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 252-269
https://doi.org/10.1007/978-1-4471-3229-5_14

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Nets, Terms and Formulas
Published by Cambridge University Press (CUP) ,1991
Predicative programming Part II
Communications of the ACM, 1984