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 2020-31-03 at 04:44