ID:DA09970480
Advanced Study Institute on Deductive Program Design, NATO
Institute on Program Design Calculi, NATO Advanced Study
Search authors sharing the same name
edited by Manfred Broy
Springer c1996 NATO ASI series Series F . Computer and systems sciences ; no. 152
Available at 18 libraries
