ZB 2003: Formal Specification And Development In Z And B: Third International Conference Of B And Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes In Computer Science (2651))

By Didier Bert, Didier Bert (Editor), Jonathan P. Bowen (Editor), Steve King (Editor), Marina Waldén (Editor), International Conference Of B And Z Users

These Proceedings Record The Papers Presented At The Third International Conference Of B And Z Users (zb 2003), Held In The City Of Turku In The South Of Finland. This Con- Rence Builds On The Succ...

Recent Trends In Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau De Bonas, September 15-18, 1999 Selected Papers

By Didier Bert, WADT '99

The Algebraic Approach To System Speci?cation And Development, Born In The 1970sas A Formalmethod For Abstractdata Types, Encompassestoday The Formal Design Of Integrated Hardware And Software Syst...

B'98: Recent Advances In The Development And Use Of The B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

By Bert Didier, Didier Bert, International B Conference (2nd 1998 Montpellier, France), International B Conference

On B / Jean-raymond Abrial -- The Generalised Substitution Language Extended To Probabilistic Programs / Carroll Morgan -- MÉtÉor : An Industrial Success In Formal Development / Patrick Behm, Pierr...

ZB 2002: Formal Specification And Development In Z And B: 2nd International Conference Of B And Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes In Computer Science (2272))

By Martin C. Henson, Ken Robinson, Jonathan P. Bowen, Didier Bert, International Conference Of B And Z Users (2nd 2002 Grenoble, France), International Conference Of B And Z Users, Didier Bert (Editor), Jonathan P. Bowen (Editor), Martin C. Henson (Editor), Ken Robinson (Editor)

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. T...

Recent Trends In Algebraic Development Techniques

By Christine Choppy, Didier Bert, Peter Mosses

This Book Constitutes The Thoroughly Refereed Post-workshop Proceedings Of The 14th International Workshop On Algebraic Development Techniques, Wadt'99, Held In Toulouse, France In September 1999....

ZB 2003: Formal Specification And Development In Z And B

By Jonathan P. Bowen, Didier Bert, Marina Waldén, Steve King, International Conference Of B And Z Users, Didier Bert; ‎Jonathan P. Bowen; ‎Steve King

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers we...

Zb 2002: Formal Specification And Development In Z And B

By Martin C. Henson, Ken Robinson, Jonathan P. Bowen, Didier Bert, International Conference Of B And Z Users, Didier Bert (Editor), Jonathan P. Bowen (Editor), Martin C. Henson (Editor), Ken Robinson (Editor)

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. T...

Recent Advances In The Development And Use Of The B Method Proceedings

By Didier Bert

ZB 2002: Formal Specification And Development In Z And B

By Didier Bert

B'98: Recent Advances In The Development And Use Of The B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (Lecture Notes In Computer Science, 1393)

By Bert Didier, Didier Bert, International B Conference

On B / Jean-raymond Abrial -- The Generalised Substitution Language Extended To Probabilistic Programs / Carroll Morgan -- MÉtÉor : An Industrial Success In Formal Development / Patrick Behm, Pierr...