A computer-checked veri cation of Milner's scheduler (0)

by H Korver, J Springintveld
Venue:Proceedings of the 2 nd International Symposium on Theoretical Aspects of Computer Software, TACS '94