A formal template language enabling metaproof

Nuno Amálio; Susan Stepney; Fiona Polack

doi:10.1007/11813040_18

A formal template language enabling metaproof

Nuno Amálio^*, Susan Stepney, Fiona Polack

^*Corresponding author for this work

University of York

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Citations (Scopus)

Original language	English
Title of host publication	FM 2006
Subtitle of host publication	Formal Methods - 14th International Symposium on Formal Methods, Proceedings
Publisher	Springer Verlag
Pages	252-267
Number of pages	16
ISBN (Print)	3540372156, 9783540372158
DOIs	https://doi.org/10.1007/11813040_18
Publication status	Published (VoR) - 2006
Event	FM 2006: 14th International Symposium on Formal Methods - Hamilton, Canada Duration: 21 Aug 2006 → 27 Aug 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4085 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	FM 2006: 14th International Symposium on Formal Methods
Country/Territory	Canada
City	Hamilton
Period	21/08/06 → 27/08/06

Keywords

Formal development
Patterns
Proof
Templates
Z

Access to Document

10.1007/11813040_18

Cite this

Amálio, N., Stepney, S., & Polack, F. (2006). A formal template language enabling metaproof. In FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings (pp. 252-267). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4085 LNCS). Springer Verlag. https://doi.org/10.1007/11813040_18

@inproceedings{bf3c5c16b52a458d8288ace62e71a4f3,

title = "A formal template language enabling metaproof",

keywords = "Formal development, Patterns, Proof, Templates, Z",

author = "Nuno Am{\'a}lio and Susan Stepney and Fiona Polack",

year = "2006",

doi = "10.1007/11813040_18",

language = "English",

isbn = "3540372156",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "252--267",

booktitle = "FM 2006",

note = "FM 2006: 14th International Symposium on Formal Methods ; Conference date: 21-08-2006 Through 27-08-2006",

}

Amálio, N, Stepney, S & Polack, F 2006, A formal template language enabling metaproof. in FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4085 LNCS, Springer Verlag, pp. 252-267, FM 2006: 14th International Symposium on Formal Methods, Hamilton, Canada, 21/08/06. https://doi.org/10.1007/11813040_18

A formal template language enabling metaproof. / Amálio, Nuno; Stepney, Susan; Polack, Fiona.
FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings. Springer Verlag, 2006. p. 252-267 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4085 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A formal template language enabling metaproof

AU - Amálio, Nuno

AU - Stepney, Susan

AU - Polack, Fiona

PY - 2006

Y1 - 2006

KW - Formal development

KW - Patterns

KW - Proof

KW - Templates

KW - Z

UR - http://www.scopus.com/inward/record.url?scp=33749418983&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749418983&partnerID=8YFLogxK

U2 - 10.1007/11813040_18

DO - 10.1007/11813040_18

M3 - Conference contribution

AN - SCOPUS:33749418983

SN - 3540372156

SN - 9783540372158

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 252

EP - 267

BT - FM 2006

PB - Springer Verlag

T2 - FM 2006: 14th International Symposium on Formal Methods

Y2 - 21 August 2006 through 27 August 2006

ER -

A formal template language enabling metaproof

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this