ID:DA02975409
Search authors sharing the same name
edited by A. van Lamsweerde, P. Dufour
Academic Press 1987 International lecture series in computer science
Available at 21 libraries
