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
Pages151-153
ISBN (Print)3-540-52531-9
DOIs
Publication statusPublished - 1990

Publication series

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

Cite this