Some general incompleteness results for partial correctness logics
- Hortalá-González, M.T.
- Lucio-Carrasco, F.
- Rodíguez-Artalejo, M.
ISSN: 1090-2651, 0890-5401
Année de publication: 1988
Volumen: 79
Número: 1
Pages: 22-42
Type: Article
ISSN: 1090-2651, 0890-5401
Année de publication: 1988
Volumen: 79
Número: 1
Pages: 22-42
Type: Article