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
Any de publicació: 1988
Volum: 79
Número: 1
Pàgines: 22-42
Tipus: Article
ISSN: 1090-2651, 0890-5401
Any de publicació: 1988
Volum: 79
Número: 1
Pàgines: 22-42
Tipus: Article