B-tool

Matthew Lee; Ib H. Sørensen

doi:10.1007/3-540-54834-3_53

B-tool

Matthew Lee
, Ib H. Sørensen

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

2 Citations (Scopus)

Original language	English
Title of host publication	VDM 1991 Formal Software Development Methods
Subtitle of host publication	Conference Contributions - 4th Intenational Symposium of VDM Europe, Proceedings
Editors	Soren Prehn, W.J. Toetenel
Pages	695-696
Number of pages	2
DOIs	https://doi.org/10.1007/3-540-54834-3_53
Publication status	Published - 1991
Externally published	Yes
Event	4th International Symposium of VDM on Formal Software Development Methods, VDM 1991 - Noordwijkerhout, Netherlands Duration: 21 Oct 1991 → 25 Oct 1991

Publication series

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

Conference

Conference	4th International Symposium of VDM on Formal Software Development Methods, VDM 1991
Country/Territory	Netherlands
City	Noordwijkerhout
Period	21/10/91 → 25/10/91

Access to Document

10.1007/3-540-54834-3_53

Cite this

Lee, M., & Sørensen, I. H. (1991). B-tool. In S. Prehn, & W. J. Toetenel (Eds.), VDM 1991 Formal Software Development Methods: Conference Contributions - 4th Intenational Symposium of VDM Europe, Proceedings (pp. 695-696). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 551 LNCS). https://doi.org/10.1007/3-540-54834-3_53

@inproceedings{ac6902ca8dfc4a4e8065abbf3fe0ed02,

title = "B-tool",

author = "Matthew Lee and S{\o}rensen, \{Ib H.\}",

year = "1991",

doi = "10.1007/3-540-54834-3\_53",

language = "English",

isbn = "9783540548348",

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

pages = "695--696",

editor = "Soren Prehn and W.J. Toetenel",

booktitle = "VDM 1991 Formal Software Development Methods",

note = "4th International Symposium of VDM on Formal Software Development Methods, VDM 1991 ; Conference date: 21-10-1991 Through 25-10-1991",

}

Lee, M & Sørensen, IH 1991, B-tool. in S Prehn & WJ Toetenel (eds), VDM 1991 Formal Software Development Methods: Conference Contributions - 4th Intenational Symposium of VDM Europe, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 551 LNCS, pp. 695-696, 4th International Symposium of VDM on Formal Software Development Methods, VDM 1991, Noordwijkerhout, Netherlands, 21/10/91. https://doi.org/10.1007/3-540-54834-3_53

B-tool. / Lee, Matthew; Sørensen, Ib H.
VDM 1991 Formal Software Development Methods: Conference Contributions - 4th Intenational Symposium of VDM Europe, Proceedings. ed. / Soren Prehn; W.J. Toetenel. 1991. p. 695-696 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 551 LNCS).

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

TY - GEN

T1 - B-tool

AU - Lee, Matthew

AU - Sørensen, Ib H.

PY - 1991

Y1 - 1991

UR - https://www.scopus.com/pages/publications/85032009226

U2 - 10.1007/3-540-54834-3_53

DO - 10.1007/3-540-54834-3_53

M3 - Conference contribution

AN - SCOPUS:85032009226

SN - 9783540548348

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

SP - 695

EP - 696

BT - VDM 1991 Formal Software Development Methods

A2 - Prehn, Soren

A2 - Toetenel, W.J.

T2 - 4th International Symposium of VDM on Formal Software Development Methods, VDM 1991

Y2 - 21 October 1991 through 25 October 1991

ER -

Lee M, Sørensen IH. B-tool. In Prehn S, Toetenel WJ, editors, VDM 1991 Formal Software Development Methods: Conference Contributions - 4th Intenational Symposium of VDM Europe, Proceedings. 1991. p. 695-696. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-54834-3_53

B-tool

Publication series

Conference

Access to Document

Other files and links

Cite this