Edinburgh Research Explorer

The use of proof plans in formal methods

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/book/10.1007/3-540-52531-9/page/1
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
StatePublished - 1990

Publication series

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

Download statistics

No data available

ID: 405685