Hoare's logic for nondeterministic regular programs: A nonstandard approach
M.Teresa Hortalá-González, Mario Rodríguez-ArtalejoVolume:
68
Year:
1989
Language:
english
Pages:
26
DOI:
10.1016/0304-3975(89)90165-5
File:
PDF, 1.36 MB
english, 1989