Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Björklund D, Lilius J
Publisher: IEEE Computer Society
Publication year: 2004
Book title: Fourth International Conference on Application of Concurrency to System Design

Last updated on 2019-20-09 at 05:22