scientific article; zbMATH DE number 1304366

zbMATH Open0928.68102MaRDI QIDQ4251098

Frank S. de Boer

Publication date: 17 June 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

compositional proof system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (4)

Integrating ADTs in KeY and their application to history-based reasoning about collection ⋮ Localizable constraints for object histories ⋮ Preferred history semantics for iterated updates ⋮ Deriving State-Based Implementations of Interactive Components with History Abstractions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4251098)