REASONING ABOUT OBJECT SYSTEMS IN VTLoE
MASON, IAN, TALCOTT, CAROLYNVolume:
6
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054195000160
Date:
September, 1995
File:
PDF, 1.27 MB
english, 1995