A general proof rule for procedures in predicate transformers semantics
1983
19 S
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
English
Healthiness versus realizability in predicate transformers
TIBKAT | 1990
|Emerald Group Publishing | 2007
|Towards Ad-Hoc Rule Semantics for Gene Expression Data
British Library Conference Proceedings | 2005
|