FME'96: Industrial Benefit and Advances in Formal Methods
Springer Science & Business Media
Chapter title |
Applying the B technologies to CICS
|
---|---|
Chapter number | 81 |
Book title |
FME'96: Industrial Benefit and Advances in Formal Methods
|
Published by |
Springer, Berlin, Heidelberg, March 1996
|
DOI | 10.1007/3-540-60973-3_81 |
Book ISBNs |
978-3-54-060973-5, 978-3-54-049749-3
|
Authors |
Jonathan Hoare, Jeremy Dick, Dave Neilson, Ib Sørensen, Hoare, Jonathan, Dick, Jeremy, Neilson, Dave, Sørensen, Ib |
Country | Count | As % |
---|---|---|
France | 1 | 20% |
Brazil | 1 | 20% |
Unknown | 3 | 60% |
Readers by professional status | Count | As % |
---|---|---|
Researcher | 2 | 40% |
Professor | 1 | 20% |
Professor > Associate Professor | 1 | 20% |
Student > Master | 1 | 20% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 4 | 80% |
Engineering | 1 | 20% |