W.D.: Special issue on system verification (1989)

by W R Bevier, W A Hunt, J S Moore, Young
Venue:J. Autom. Reasoning