A Formal Framework for ASTRAL Intra-Level Proof Obligations.

Alberto Coen-Porisini Dino Mandrioli

Published in: ESEC (1993)

Keyphrases

database
conceptual framework
website
theoretical framework
formal model
mathematical theory
neural network
multi agent