A Formal Framework for ASTRAL Intra-Level Proof Obligations

Articolo
Data di Pubblicazione:
1994
Tipologia CRIS:
Articolo su Rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/9701
Pubblicato in:
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Journal