1982 | ||
---|---|---|
2 | Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn: Another Incompleteness Result for Hoare's Logic Information and Control 52(2): 159-171 (1982) | |
1981 | ||
1 | Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn: Hoare's Logic is Incomplete When It Does Not Have To Be. Logic of Programs 1981: 9-23 |
1 | Jan A. Bergstra | [1] [2] |
2 | Jerzy Tiuryn | [1] [2] |