Program design calculi /

Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific Affairs Division
Other Authors: Broy, M., 1949-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1993], ©1993.
Series:NATO ASI series. Computer and systems sciences ; no. 118.
Subjects: