Home
Add Document
Sign In
Register
Jonathan P. Bowen's Documents
Home
Jonathan P. Bowen's Documents
Jonathan P. Bowen's Documents
Formal Specification and Documentation Using Z: A Case Study Approach
Read more
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Read more
Formal Methods: State of the Art and New Directions
Read more
The Great Barrier Reef: History, Science, Heritage
Read more
The Great Barrier Reef: History, Science, Heritage
Read more
Abstract State Machines, B and Z, 1 conf., ABZ 2008
Read more
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
Read more
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Read more
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Read more
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Read more
Her Royal Spyness
Read more
Masked Ball at Broxley Manor
Read more
The Heat of the Day
Read more
Evan's Gate
Read more
Royal Blood
Read more
The Nesting Dolls
Read more
The Wandering Soul Murders
Read more
Evans to Betsy
Read more
A Colder Kind of Death
Read more
The Twelve Clues of Christmas
Read more
For the Love of Mike
Read more
The Glass Coffin
Read more
For the Love of Mike
Read more
The Twelve Clues of Christmas
Read more
In Like Flynn
Read more
Royal Flush
Read more
For the Love of Mike
Read more
Burying Ariel
Read more
The Last Illusion
Read more
Burying Ariel: A Joanne Kilbourn Mystery
Read more
1
2
3
4
5
6
7
8
9
»
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Login with Facebook
Our partners will collect data and use cookies for ad personalization and measurement.
Learn how we and our ad partner Google, collect and use data
.
Agree & close