The use of proof plans in formal methods

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationDesign and implementation of symbolic computation systems
Subtitle of host publicationInternational Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings
EditorsA. Miola
PublisherSpringer-Verlag GmbH
ISBN (Print)3-540-52531-9
Publication statusPublished - 1990

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743

Cite this