A Tutorial Introduction to CSP in Unifying Theories of Programming (2004)

Cached

Download Links

by Ana Cavalcanti , Jim Woodcock
Venue:In Pernambuco Summer School on Software Engineering 2004: Refinement, Lecture Notes in Computer Science
Citations:7 - 3 self