A Constraint Oriented Proof Methodology

Kim Guldstrand Larsen; B. Steffen; C. Weise

A Constraint Oriented Proof Methodology

Kim Guldstrand Larsen, B. Steffen, C. Weise

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	No. 1019
ISSN	0302-9743
Publication status	Published - 1996

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{1df14a309c2f11db8ed6000ea68e967b,

title = "A Constraint Oriented Proof Methodology",

author = "Larsen, {Kim Guldstrand} and B. Steffen and C. Weise",

note = "In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS) In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS)",

year = "1996",

language = "English",

volume = "No. 1019",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - A Constraint Oriented Proof Methodology

AU - Larsen, Kim Guldstrand

AU - Steffen, B.

AU - Weise, C.

N1 - In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS) In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS)

PY - 1996

Y1 - 1996

M3 - Journal article

SN - 0302-9743

VL - No. 1019

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -