A formal nethod (a networked formal method)

Peter Breuer, S Pickin

Research output: Contribution to journal › Article

1 Citation (Scopus)

Original language	English
Pages (from-to)	255-268
Number of pages	14
Journal	Innovations in Systems and Software Engineering
Volume	6
Issue number	4
DOIs	https://doi.org/10.1007/s11334-009-0121-4
Publication status	Published - 1 Dec 2010

Access to Document

@article{7d57e6447d6c412d913ff05583fae906,

title = "A formal nethod (a networked formal method)",

author = "Peter Breuer and S Pickin",

year = "2010",

month = dec,

day = "1",

doi = "10.1007/s11334-009-0121-4",

language = "English",

volume = "6",

pages = "255--268",

journal = "Innovations in Systems and Software Engineering",

issn = "1614-5054",

publisher = "Springer",

number = "4",

}