Nonstandard runs and program verification

Bulletin of the Section of Logic, Tom 10, Numer 2 (1981) s. 68-74
Laszlo Csirmaz

 

do góry