[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

✍ Scribed by Penczek, Wojciech; Szałas, Andrzej

• Book ID: 118006311
• Publisher: Springer Berlin Heidelberg
• Year: 1996
• Weight: 599 KB
• Category: Article
• ISBN: 354070597X
• DOI: 10.1007/3-540-61550-4_147