publications:
- title: "A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2007.2"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2007.2"
  tags:
  - "C++"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/VinhB07"
  cites: 0
  citedby: 0
  pages: "369-378"
  booktitle: "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "VinhB07"
- title: "A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2005.14"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2005.14"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/VinhB05%3A0"
  cites: 0
  citedby: 0
  pages: "245-252"
  booktitle: "29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2306-4"
  kind: "inproceedings"
  key: "VinhB05:0"
- title: "Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450277.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450277.htm"
  tags:
  - "programming languages"
  - "semantics"
  - "logic programming"
  - "programming"
  - "operational semantics"
  - "logic"
  researchr: "https://researchr.org/publication/Bowen00"
  cites: 0
  citedby: 0
  pages: "277-296"
  booktitle: "Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings"
  editor:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Thomas Santen"
    link: "https://researchr.org/alias/thomas-santen"
  - name: "Bill Stoddart"
    link: "https://researchr.org/alias/bill-stoddart"
  volume: "1945"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41196-8"
  kind: "inproceedings"
  key: "Bowen00"
- title: "X: Why Z?"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1992"
  doi: "http://www.eg.org/EG/CGF/Volume11/Issue4/v11i4pp221-234_abstract.html"
  links:
    doi: "http://www.eg.org/EG/CGF/Volume11/Issue4/v11i4pp221-234_abstract.html"
  researchr: "https://researchr.org/publication/Bowen92%3A1"
  cites: 0
  citedby: 0
  journal: "Comput. Graph. Forum"
  volume: "11"
  number: "4"
  pages: "221-234"
  kind: "article"
  key: "Bowen92:1"
- title: "Formalization of Software Testing Criteria using the Z Notation"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2001"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960638"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960638"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/VilkomirB01"
  cites: 0
  citedby: 0
  pages: "351-356"
  booktitle: "25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1372-7"
  kind: "inproceedings"
  key: "VilkomirB01"
- title: "Algebraic Approach to Linking the Semantics of Web Services"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jing Li"
    link: "https://researchr.org/alias/jing-li"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.4"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.4"
  tags:
  - "semantics"
  - "web service"
  - "web services"
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ZhuHLB07"
  cites: 0
  citedby: 0
  pages: "315-328"
  booktitle: "Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2884-7"
  kind: "inproceedings"
  key: "ZhuHLB07"
- title: "Continuity aspects of embedded reconfigurable computing"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s11334-005-0003-3"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-005-0003-3"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/VinhB05%3A1"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "1"
  number: "1"
  pages: "41-53"
  kind: "article"
  key: "VinhB05:1"
- title: "Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2495/24950600.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2495/24950600.htm"
  tags:
  - "semantics"
  - "rule-based"
  - "completeness"
  - "denotational semantics"
  - "redundancy"
  - "operational semantics"
  researchr: "https://researchr.org/publication/HuibiaoBH02"
  cites: 0
  citedby: 0
  pages: "600-612"
  booktitle: "Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings"
  editor:
  - name: "Chris George"
    link: "https://researchr.org/alias/chris-george"
  - name: "Huaikou Miao"
    link: "https://researchr.org/alias/huaikou-miao"
  volume: "2495"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00029-1"
  kind: "inproceedings"
  key: "HuibiaoBH02"
- title: "Disabled Access for Museum Websites"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2003"
  doi: "http://www2003.org/cdrom/papers/poster/p335/p335-bowen.html"
  links:
    doi: "http://www2003.org/cdrom/papers/poster/p335/p335-bowen.html"
  researchr: "https://researchr.org/publication/Bowen03"
  cites: 0
  citedby: 0
  booktitle: "WWW"
  kind: "inproceedings"
  key: "Bowen03"
- title: "Z Logic and its Consequences"
  author:
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Steve Reeves"
    link: "http://www.cs.waikato.ac.nz/~stever/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2003"
  tags:
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/HensonRB03"
  cites: 0
  citedby: 0
  journal: "Computers and Artificial Intelligence"
  volume: "22"
  number: "4"
  pages: "381-415"
  kind: "article"
  key: "HensonRB03"
- title: "Deriving Operational Semantics from Denotational Semantics for Verilog"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080177abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080177abs.htm"
  tags:
  - "semantics"
  - "denotational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/ZhuBH01"
  cites: 0
  citedby: 0
  pages: "177"
  booktitle: "8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1408-1"
  kind: "inproceedings"
  key: "ZhuBH01"
- title: "Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria"
  author:
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020185abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020185abs.htm"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KapoorB03"
  cites: 0
  citedby: 0
  pages: "185-194"
  booktitle: "2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September - 1 October 2003. Rome, Italy"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2002-2"
  kind: "inproceedings"
  key: "KapoorB03"
- title: "An Approach to the Specification and Verification of a Hardware Compilation Scheme"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  year: "2001"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BowenJ01"
  cites: 0
  citedby: 0
  journal: "The Journal of Supercomputing"
  volume: "19"
  number: "1"
  pages: "23-39"
  kind: "article"
  key: "BowenJ01"
- title: "Seven More Myths of Formal Methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "1995"
  doi: "http://www.computer.org:80/software/so1995/s4034abs.htm"
  links:
    doi: "http://www.computer.org:80/software/so1995/s4034abs.htm"
  researchr: "https://researchr.org/publication/BowenH95%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "12"
  number: "4"
  pages: "34-41"
  kind: "article"
  key: "BowenH95:0"
- title: "From Operational Semantics to Denotational Semantics for Verilog"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2144/21440449.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2144/21440449.htm"
  tags:
  - "semantics"
  - "denotational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/HuibiaoBJ01"
  cites: 0
  citedby: 0
  pages: "449-466"
  booktitle: "Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Thomas F. Melham"
    link: "https://researchr.org/alias/thomas-f.-melham"
  volume: "2144"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42541-1"
  kind: "inproceedings"
  key: "HuibiaoBJ01"
- title: "Towards a Provably Correct Hardware Implementation of Occam"
  author:
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Ian Page"
    link: "https://researchr.org/alias/ian-page"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1993"
  tags:
  - "Occam"
  researchr: "https://researchr.org/publication/JifengPB93"
  cites: 0
  citedby: 0
  pages: "214-225"
  booktitle: "Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME  93, Arles, France, May 24-26, 1993, Proceedings"
  editor:
  - name: "George J. Milne"
    link: "https://researchr.org/alias/george-j.-milne"
  - name: "Laurence Pierre"
    link: "https://researchr.org/alias/laurence-pierre"
  volume: "683"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56778-X"
  kind: "inproceedings"
  key: "JifengPB93"
- title: "Z FORUM Electronic Mailing List"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1990"
  researchr: "https://researchr.org/publication/Bowen90a"
  cites: 0
  citedby: 0
  pages: "378"
  booktitle: "Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990"
  editor:
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19672-2"
  kind: "inproceedings"
  key: "Bowen90a"
- title: "Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2007.90"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2007.90"
  tags:
  - "semantics"
  - " algebra"
  - "operational semantics"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ZhuHB07"
  cites: 0
  citedby: 0
  pages: "131-143"
  booktitle: "31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "ZhuHB07"
- title: "Experimental evaluation of the tolerance for control-flow test criteria"
  author:
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2004"
  doi: "http://dx.doi.org/10.1002/stvr.303"
  links:
    doi: "http://dx.doi.org/10.1002/stvr.303"
  tags:
  - "testing"
  - "data-flow"
  researchr: "https://researchr.org/publication/KapoorB04"
  cites: 0
  citedby: 0
  journal: "Softw. Test., Verif. Reliab."
  volume: "14"
  number: "3"
  pages: "167-187"
  kind: "article"
  key: "KapoorB04"
- title: "A formal analysis of MCDC and RCDC test criteria"
  author:
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2005"
  doi: "http://dx.doi.org/10.1002/stvr.306"
  links:
    doi: "http://dx.doi.org/10.1002/stvr.306"
  tags:
  - "testing"
  - "analysis"
  researchr: "https://researchr.org/publication/KapoorB05"
  cites: 0
  citedby: 0
  journal: "Softw. Test., Verif. Reliab."
  volume: "15"
  number: "1"
  pages: "21-40"
  kind: "article"
  key: "KapoorB05"
- title: "PRG Archive Server"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1990"
  researchr: "https://researchr.org/publication/Bowen90b"
  cites: 0
  citedby: 0
  pages: "379"
  booktitle: "Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990"
  editor:
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19672-2"
  kind: "inproceedings"
  key: "Bowen90b"
- title: "Comp.specification.z and Z FORUM Frequently Asked Questions"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1998"
  researchr: "https://researchr.org/publication/Bowen98a"
  cites: 0
  citedby: 0
  pages: "407-415"
  booktitle: "ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Andreas Fett"
    link: "https://researchr.org/alias/andreas-fett"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65070-9"
  kind: "inproceedings"
  key: "Bowen98a"
- title: "Z on the Web Using Java"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "David Chippington"
    link: "https://researchr.org/alias/david-chippington"
  year: "1998"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/BowenC98"
  cites: 0
  citedby: 0
  pages: "66-80"
  booktitle: "ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Andreas Fett"
    link: "https://researchr.org/alias/andreas-fett"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65070-9"
  kind: "inproceedings"
  key: "BowenC98"
- title: "Comp.specification.z and Z FORUM Frequently Asked Questions"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1997"
  researchr: "https://researchr.org/publication/Bowen97a"
  cites: 0
  citedby: 0
  pages: "425-433"
  booktitle: "ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "David Till"
    link: "https://researchr.org/alias/david-till"
  volume: "1212"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62717-0"
  kind: "inproceedings"
  key: "Bowen97a"
- title: "Formalization and assessment of regulatory requirements for safety-critical software"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Aditya K. Ghose"
    link: "https://researchr.org/alias/aditya-k.-ghose"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s11334-006-0006-8"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-006-0006-8"
  researchr: "https://researchr.org/publication/VilkomirBG06"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "2"
  number: "3-4"
  pages: "165-178"
  kind: "article"
  key: "VilkomirBG06"
- title: "Select Z Bibliography and Frequently Asked Questions"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1991"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen91"
  cites: 0
  citedby: 0
  pages: "367-401"
  booktitle: "Z User Workshop, York, UK, 16-17 December 1991, Proceedings"
  editor:
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19780-X"
  kind: "inproceedings"
  key: "Bowen91"
- title: "Comp.specification.z and Z FORUM Frequently Asked Questions"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1994"
  researchr: "https://researchr.org/publication/Bowen94a"
  cites: 0
  citedby: 0
  pages: "397-403"
  booktitle: "Z User Workshop"
  kind: "inproceedings"
  key: "Bowen94a"
- title: "From Algebraic Semantics to Denotational Semantics for Verilog"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57"
  tags:
  - "semantics"
  - "denotational semantics"
  - " algebra"
  researchr: "https://researchr.org/publication/ZhuHB06"
  cites: 0
  citedby: 0
  pages: "139-151"
  booktitle: "11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2530-X"
  kind: "inproceedings"
  key: "ZhuHB06"
- title: "Select Z Bibliography"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1992"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen92"
  cites: 0
  citedby: 0
  pages: "309-341"
  booktitle: "Z User Workshop, London, UK, 14-15 December 1992, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19818-0"
  kind: "inproceedings"
  key: "Bowen92"
- title: "Ten Commandments of Formal Methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "1995"
  researchr: "https://researchr.org/publication/BowenH95"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "28"
  number: "4"
  pages: "56-63"
  kind: "article"
  key: "BowenH95"
- title: "Using formal specifications to support testing"
  author:
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Kirill Bogdanov"
    link: "https://researchr.org/alias/kirill-bogdanov"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Rance Cleaveland"
    link: "https://researchr.org/alias/rance-cleaveland"
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Jeremy Dick"
    link: "https://researchr.org/alias/jeremy-dick"
  - name: "Marian Gheorghe"
    link: "https://researchr.org/alias/marian-gheorghe"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Paul Krause"
    link: "https://researchr.org/alias/paul-krause"
  - name: "Gerald Lüttgen"
    link: "https://researchr.org/alias/gerald-l%C3%BCttgen"
  - name: "Anthony J. H. Simons"
    link: "https://researchr.org/alias/anthony-j.-h.-simons"
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Martin R. Woodward"
    link: "https://researchr.org/alias/martin-r.-woodward"
  - name: "Hussein Zedan"
    link: "https://researchr.org/alias/hussein-zedan"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1459352.1459354"
  links:
    doi: "http://doi.acm.org/10.1145/1459352.1459354"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/HieronsBBCDDGHKKLSVWZ09"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "41"
  number: "2"
  kind: "article"
  key: "HieronsBBCDDGHKKLSVWZ09"
- title: "From Programs to Object Code using Logic and Logic Programming"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1991"
  tags:
  - "object-oriented programming"
  - "logic programming"
  - "programming"
  - "subject-oriented programming"
  - "logic"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/Bowen91%3A0"
  cites: 0
  citedby: 0
  pages: "173-192"
  booktitle: "Code Generation"
  kind: "inproceedings"
  key: "Bowen91:0"
- title: "On the Visual Representation of Configuration in Reconfigurable Computing"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.052"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.052"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/VinhB04%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "109"
  pages: "3-15"
  kind: "article"
  key: "VinhB04:0"
- title: "Selected Z Bibliography"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1990"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen90"
  cites: 0
  citedby: 0
  pages: "353-373"
  booktitle: "Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990"
  editor:
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19672-2"
  kind: "inproceedings"
  key: "Bowen90"
- title: "Ordering Mutants to Minimise Test Effort in Mutation Testing"
  author:
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=195"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=195"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KapoorB04%3A0"
  cites: 0
  citedby: 0
  pages: "195-209"
  booktitle: "Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers"
  editor:
  - name: "Jens Grabowski"
    link: "https://researchr.org/alias/jens-grabowski"
  - name: "Brian Nielsen"
    link: "https://researchr.org/alias/brian-nielsen"
  volume: "3395"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25109-X"
  kind: "inproceedings"
  key: "KapoorB04:0"
- title: "Decompilation is the Efficient Enumeration of Types"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1992"
  tags:
  - "decompilation"
  researchr: "https://researchr.org/publication/BreuerB92"
  cites: 0
  citedby: 0
  pages: "255-273"
  booktitle: "WSA"
  kind: "inproceedings"
  key: "BreuerB92"
- title: "Test conditions for fault classes in Boolean specifications"
  author:
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1243987.1243988"
  links:
    doi: "http://doi.acm.org/10.1145/1243987.1243988"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KapoorB07"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "16"
  number: "3"
  pages: "10"
  kind: "article"
  key: "KapoorB07"
- title: "Formal Models and the Specification Process"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "1997"
  tags:
  - "meta-model"
  - "modeling"
  - "Meta-Environment"
  - "process modeling"
  researchr: "https://researchr.org/publication/BowenH97"
  cites: 0
  citedby: 0
  pages: "2302-2322"
  booktitle: "The Computer Science and Engineering Handbook"
  editor:
  - name: "Allen B. Tucker"
    link: "https://researchr.org/alias/allen-b.-tucker"
  publisher: "CRC Press"
  isbn: "0-8493-2909-4"
  kind: "incollection"
  key: "BowenH97"
- title: "Linking denotational semantics with operational semantics for web services"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jing Li"
    link: "https://researchr.org/alias/jing-li"
  - name: "Geguang Pu"
    link: "https://researchr.org/alias/geguang-pu"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/s11334-010-0134-z"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-010-0134-z"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/isse/ZhuHLPB10"
  tags:
  - "semantics"
  - "denotational semantics"
  - "web service"
  - "web services"
  - "operational semantics"
  researchr: "https://researchr.org/publication/ZhuHLPB10"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "6"
  number: "4"
  pages: "283-298"
  kind: "article"
  key: "ZhuHLPB10"
- title: "Formal Versus Agile: Survival of the Fittest"
  author:
  - name: "Sue Black"
    link: "http://www.sueblack.co.uk/"
  - name: "Paul Boca"
    link: "https://researchr.org/alias/paul-boca"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jason Gorman"
    link: "https://researchr.org/alias/jason-gorman"
  - name: "Mike Hinchey"
    link: "https://researchr.org/alias/mike-hinchey"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2009.284"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2009.284"
  researchr: "https://researchr.org/publication/BlackBBGH09"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "42"
  number: "9"
  pages: "37-45"
  kind: "article"
  key: "BlackBBGH09"
- title: "Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2005"
  doi: "http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080247abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080247abs.htm"
  tags:
  - "semantics"
  - "formal semantics"
  - "C++"
  researchr: "https://researchr.org/publication/VinhB05"
  cites: 0
  citedby: 0
  pages: "247-254"
  booktitle: "12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2308-0"
  kind: "inproceedings"
  key: "VinhB05"
- title: "Select Z Bibliography"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1994"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen94"
  cites: 0
  citedby: 0
  pages: "359-396"
  booktitle: "Z User Workshop"
  kind: "inproceedings"
  key: "Bowen94"
- title: "An Invitation to Formal Methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Ricky W. Butler"
    link: "https://researchr.org/alias/ricky-w.-butler"
  - name: "David L. Dill"
    link: "https://researchr.org/alias/david-l.-dill"
  - name: "Robert L. Glass"
    link: "https://researchr.org/alias/robert-l.-glass"
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  - name: "Anthony Hall"
    link: "https://researchr.org/alias/anthony-hall"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "C. Michael Holloway"
    link: "https://researchr.org/alias/c.-michael-holloway"
  - name: "Daniel Jackson"
    link: "https://researchr.org/alias/daniel-jackson"
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "Michael J. Lutz"
    link: "https://researchr.org/alias/michael-j.-lutz"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "John M. Rushby"
    link: "https://researchr.org/alias/john-m.-rushby"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Pamela Zave"
    link: "https://researchr.org/alias/pamela-zave"
  year: "1996"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BowenBDGGHHHJJLPRWZ96"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "29"
  number: "4"
  pages: "16-30"
  kind: "article"
  key: "BowenBDGGHHHJJLPRWZ96"
- title: "An Animatable Operational Semantics of the Verilog Hardware Description Language"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Qiwen Xu"
    link: "https://researchr.org/alias/qiwen-xu"
  year: "2000"
  doi: "http://computer.org/proceedings/icfem/0822/08220199abs.htm"
  links:
    doi: "http://computer.org/proceedings/icfem/0822/08220199abs.htm"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/BowenHX00"
  cites: 0
  citedby: 0
  pages: "199-208"
  booktitle: "ICFEM"
  kind: "inproceedings"
  key: "BowenHX00"
- title: "Specification, Verification and Prototyping of an Optimized Compiler"
  author:
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1994"
  tags:
  - "optimization"
  - "compiler"
  researchr: "https://researchr.org/publication/JifengB94"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "6"
  number: "6"
  pages: "643-658"
  kind: "article"
  key: "JifengB94"
- title: "Ten Commandments of Formal Methods ...Ten Years Later"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.35"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.35"
  researchr: "https://researchr.org/publication/BowenH06"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "39"
  number: "1"
  pages: "40-48"
  kind: "article"
  key: "BowenH06"
- title: "From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-005-0084-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-005-0084-7"
  tags:
  - "testing"
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/VilkomirB06"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "18"
  number: "1"
  pages: "42-62"
  kind: "article"
  key: "VilkomirB06"
- title: "PTSC: probability, time and shared-variable concurrency"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Shengchao Qin"
    link: "https://researchr.org/alias/shengchao-qin"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s11334-009-0100-9"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-009-0100-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/isse/ZhuQHB09"
  researchr: "https://researchr.org/publication/ZhuQHB09"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "5"
  number: "4"
  pages: "271-284"
  kind: "article"
  key: "ZhuQHB09"
- title: "From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve Reeves"
    link: "https://researchr.org/alias/steve-reeves"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-21437-0_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-21437-0_24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/BowenR11"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/BowenR11-0"
  cites: 0
  citedby: 0
  pages: "308-322"
  booktitle: "FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings"
  editor:
  - name: "Michael Butler"
    link: "https://researchr.org/alias/michael-butler"
  - name: "Wolfram Schulte"
    link: "https://researchr.org/alias/wolfram-schulte"
  volume: "6664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-21436-3"
  kind: "inproceedings"
  key: "BowenR11-0"
- title: "Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11447-2_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11447-2_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/BowenH09"
  researchr: "https://researchr.org/publication/BowenH09"
  cites: 0
  citedby: 0
  pages: "219-233"
  booktitle: "Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday"
  editor:
  - name: "Jean-Raymond Abrial"
    link: "https://researchr.org/alias/jean-raymond-abrial"
  - name: "Uwe Glässer"
    link: "https://researchr.org/alias/uwe-gl%C3%A4sser"
  volume: "5115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11446-5"
  kind: "inproceedings"
  key: "BowenH09"
- title: "Select Z Bibliography"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1997"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen97"
  cites: 0
  citedby: 0
  pages: "391-424"
  booktitle: "ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "David Till"
    link: "https://researchr.org/alias/david-till"
  volume: "1212"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62717-0"
  kind: "inproceedings"
  key: "Bowen97"
- title: "Comp.specification.z and Z FORUM Frequently Asked Questions"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1995"
  researchr: "https://researchr.org/publication/Bowen95a"
  cites: 0
  citedby: 0
  pages: "561-569"
  booktitle: "ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  kind: "inproceedings"
  key: "Bowen95a"
- title: "Select Z Bibliography"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1995"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen95"
  cites: 0
  citedby: 0
  pages: "527-560"
  booktitle: "ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  kind: "inproceedings"
  key: "Bowen95"
- title: "Reviews"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Tim Bergin"
    link: "https://researchr.org/alias/tim-bergin"
  - name: "Christopher H. Sterling"
    link: "https://researchr.org/alias/christopher-h.-sterling"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MAHC.2006.36"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MAHC.2006.36"
  tags:
  - "reviewing"
  researchr: "https://researchr.org/publication/BowenBS06"
  cites: 0
  citedby: 0
  journal: "IEEE Annals of the History of Computing"
  volume: "28"
  number: "2"
  pages: "77-80"
  kind: "article"
  key: "BowenBS06"
- title: "Select Z Bibliography"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1998"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Bowen98"
  cites: 0
  citedby: 0
  pages: "367-406"
  booktitle: "ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Andreas Fett"
    link: "https://researchr.org/alias/andreas-fett"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65070-9"
  kind: "inproceedings"
  key: "Bowen98"
- title: "Software engineering and formal methods"
  author:
  - name: "Mike Hinchey"
    link: "https://researchr.org/alias/mike-hinchey"
  - name: "Michael Jackson"
    link: "https://researchr.org/alias/michael-jackson"
  - name: "Patrick Cousot"
    link: "https://researchr.org/alias/patrick-cousot"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1378727.1378742"
  links:
    doi: "http://doi.acm.org/10.1145/1378727.1378742"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/HincheyJCCBM08"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "51"
  number: "9"
  pages: "54-59"
  kind: "article"
  key: "HincheyJCCBM08"
- title: "Z and HOL"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael J. C. Gordon"
    link: "https://researchr.org/alias/michael-j.-c.-gordon"
  year: "1994"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BowenG94"
  cites: 0
  citedby: 0
  pages: "141-167"
  booktitle: "Z User Workshop"
  kind: "inproceedings"
  key: "BowenG94"
- title: "Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720291.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2272/22720291.htm"
  tags:
  - "test coverage"
  - "testing"
  - "coverage"
  researchr: "https://researchr.org/publication/VilkomirB02"
  cites: 0
  citedby: 0
  pages: "291-308"
  booktitle: "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"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Ken Robinson"
    link: "https://researchr.org/alias/ken-robinson"
  volume: "2272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43166-7"
  kind: "inproceedings"
  key: "VilkomirB02"
- title: "Towards Correct Executable Semantics for Z"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1994"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BreuerB94%3A0"
  cites: 0
  citedby: 0
  pages: "185-209"
  booktitle: "Z User Workshop"
  kind: "inproceedings"
  key: "BreuerB94:0"
- title: "The use of industrial-strength formal methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "1997"
  doi: "http://computer.org/proceedings/compsac/8105/81050332abs.htm"
  links:
    doi: "http://computer.org/proceedings/compsac/8105/81050332abs.htm"
  researchr: "https://researchr.org/publication/BowenH97%3A0"
  cites: 0
  citedby: 0
  pages: "332-337"
  booktitle: "21st International Computer Software and Applications Conference (COMPSAC  97), 11-15 August 1997, Washington, DC, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8105-5"
  kind: "inproceedings"
  key: "BowenH97:0"
- title: "From algebraic semantics to denotational semantics for Verilog"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s11334-008-0069-9"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-008-0069-9"
  tags:
  - "semantics"
  - "denotational semantics"
  - " algebra"
  researchr: "https://researchr.org/publication/ZhuHB08"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "4"
  number: "4"
  pages: "341-360"
  kind: "article"
  key: "ZhuHB08"
- title: "An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/968280.968342"
  links:
    doi: "http://doi.acm.org/10.1145/968280.968342"
  tags:
  - "C++"
  - "logic"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/VinhB04"
  cites: 0
  citedby: 0
  pages: "254"
  booktitle: "Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, FPGA 2004, Monterey, California, USA, February 22-24, 2004"
  editor:
  - name: "Russell Tessier"
    link: "https://researchr.org/alias/russell-tessier"
  - name: "Herman Schmit"
    link: "https://researchr.org/alias/herman-schmit"
  publisher: "ACM"
  isbn: "1-58113-829-6"
  kind: "inproceedings"
  key: "VinhB04"
- title: "FORTEST: Formal Methods and Testing"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Kirill Bogdanov"
    link: "https://researchr.org/alias/kirill-bogdanov"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Paul Krause"
    link: "https://researchr.org/alias/paul-krause"
  year: "2002"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044538"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044538"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BowenBCHHK02"
  cites: 0
  citedby: 0
  pages: "91-104"
  booktitle: "26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1727-7"
  kind: "inproceedings"
  key: "BowenBCHHK02"
- title: "An Approach to Verifiable Compiling Specification and Prototyping"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Paritosh K. Pandya"
    link: "https://researchr.org/alias/paritosh-k.-pandya"
  year: "1990"
  tags:
  - "compiler"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BowenJP90"
  cites: 0
  citedby: 0
  pages: "45-59"
  booktitle: "Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP 90, Linköping, Sweden, August 20-22, 1990, Proceedings"
  editor:
  - name: "Pierre Deransart"
    link: "https://researchr.org/alias/pierre-deransart"
  - name: "Jan Maluszynski"
    link: "https://researchr.org/alias/jan-maluszynski"
  volume: "456"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53010-X"
  kind: "inproceedings"
  key: "BowenJP90"
- title: "Integrating Probability with Time and Shared-Variable Concurrency"
  author:
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Shengchao Qin"
    link: "https://researchr.org/alias/shengchao-qin"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2006.22"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2006.22"
  researchr: "https://researchr.org/publication/ZhuQHB06"
  cites: 0
  citedby: 0
  pages: "179-189"
  booktitle: "30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "ZhuQHB06"
- title: "Tolerance of Control-Flow Testing Criteria"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Kalpesh Kapoor"
    link: "https://researchr.org/alias/kalpesh-kapoor"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200182abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200182abs.htm"
  tags:
  - "testing"
  - "data-flow"
  researchr: "https://researchr.org/publication/VilkomirKB03"
  cites: 0
  citedby: 0
  pages: "182-187"
  booktitle: "27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2020-0"
  kind: "inproceedings"
  key: "VilkomirKB03"
- title: "Distributed computing software project"
  author:
  - name: "Roger B. Gimson"
    link: "https://researchr.org/alias/roger-b.-gimson"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Tim Gleeson"
    link: "https://researchr.org/alias/tim-gleeson"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/503956.503978"
  links:
    doi: "http://doi.acm.org/10.1145/503956.503978"
  researchr: "https://researchr.org/publication/GimsonBG86"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2nd ACM SIGOPS European Workshop, Amsterdam, Netherlands, September 8-10, 1986"
  publisher: "ACM"
  kind: "inproceedings"
  key: "GimsonBG86"
- title: "Design of a Simple Cambridge Ring Interface Adapter"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1986"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Bowen86-1"
  cites: 0
  citedby: 0
  journal: "Comput. Syst. Sci. Eng."
  volume: "1"
  number: "2"
  pages: "93-98"
  kind: "article"
  key: "Bowen86-1"
- title: "Comp.specification.z and Z FORUM Frequently Asked Questions"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1992"
  researchr: "https://researchr.org/publication/Bowen92a"
  cites: 0
  citedby: 0
  pages: "342-347"
  booktitle: "Z User Workshop, London, UK, 14-15 December 1992, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19818-0"
  kind: "inproceedings"
  key: "Bowen92a"
- title: "A PREttier Compiler-Compiler: Generating Higher-order Parsers in C"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1995"
  tags:
  - "C++"
  - "compiler"
  - "parsing"
  researchr: "https://researchr.org/publication/BreuerB95"
  cites: 0
  citedby: 0
  journal: "Software: Practice and Experience"
  volume: "25"
  number: "11"
  pages: "1263-1297"
  kind: "article"
  key: "BreuerB95"
- title: "From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78917-8_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78917-8_8"
  tags:
  - "testing"
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/VilkomirB08"
  cites: 0
  citedby: 0
  pages: "240-270"
  booktitle: "Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers"
  editor:
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  volume: "4949"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78916-1"
  kind: "inproceedings"
  key: "VilkomirB08"
- title: "Reasoning about VHDL and VHDL-AMS using Denotational Semantics"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Natividad Martínez Madrid"
    link: "https://researchr.org/alias/natividad-mart%C3%ADnez-madrid"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Robert B. France"
    link: "https://researchr.org/alias/robert-b.-france"
  - name: "María M. Larrondo-Petrie"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-larrondo-petrie"
  - name: "Carlos Delgado Kloos"
    link: "https://researchr.org/alias/carlos-delgado-kloos"
  year: "1999"
  doi: "http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780346abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780346abs.htm"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/BreuerMBFLK99"
  cites: 0
  citedby: 0
  pages: "346-352"
  booktitle: "1999 Design, Automation and Test in Europe (DATE  99), 9-12 March 1999, Munich, Germany"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0078-1"
  kind: "inproceedings"
  key: "BreuerMBFLK99"
- title: "The Ethics of Safety-Critical Systems"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/332051.332078"
  links:
    doi: "http://doi.acm.org/10.1145/332051.332078"
  researchr: "https://researchr.org/publication/Bowen00%3A0"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "43"
  number: "4"
  pages: "91-97"
  kind: "article"
  key: "Bowen00:0"
- title: "Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis"
  author:
  - name: "Phan C. Vinh"
    link: "https://researchr.org/alias/phan-c.-vinh"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79299-4_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79299-4_1"
  tags:
  - "data-flow"
  - "C++"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/VinhB08"
  cites: 0
  citedby: 0
  journal: "Transactions on Computational Science"
  volume: "1"
  pages: "1-36"
  kind: "article"
  key: "VinhB08"
- title: "The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Victoria Stavridou"
    link: "https://researchr.org/alias/victoria-stavridou"
  year: "1993"
  researchr: "https://researchr.org/publication/BowenS93"
  cites: 0
  citedby: 0
  pages: "183-195"
  booktitle: "FME  93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings"
  editor:
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Peter Gorm Larsen"
    link: "https://researchr.org/alias/peter-gorm-larsen"
  volume: "670"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56662-7"
  kind: "inproceedings"
  key: "BowenS93"
- title: "Seven More Myths of Formal Methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  year: "1994"
  researchr: "https://researchr.org/publication/BowenH94"
  cites: 0
  citedby: 0
  pages: "105-117"
  booktitle: "FME  94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings"
  editor:
  - name: "Maurice Naftalin"
    link: "https://researchr.org/alias/maurice-naftalin"
  - name: "B. Tim Denvir"
    link: "https://researchr.org/alias/b.-tim-denvir"
  - name: "Miquel Bertran"
    link: "https://researchr.org/alias/miquel-bertran"
  volume: "873"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58555-9"
  kind: "inproceedings"
  key: "BowenH94"
- title: "Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers"
  year: "2008"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/fortest%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers"
  conference: "fortest"
  editor:
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  volume: "4949"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78916-1"
  kind: "proceedings"
  key: "fortest:2008"
- title: "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings"
  year: "2008"
  tags:
  - "state machines"
  - "abstract machine"
  researchr: "https://researchr.org/publication/asm%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings"
  conference: "asmta"
  editor:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Paul Boca"
    link: "https://researchr.org/alias/paul-boca"
  volume: "5238"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87602-1"
  kind: "proceedings"
  key: "asm:2008"
- title: "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"
  year: "2003"
  researchr: "https://researchr.org/publication/zum%3A2003"
  cites: 0
  citedby: 0
  booktitle: "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"
  conference: "zum"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  - name: "Marina A. Waldén"
    link: "https://researchr.org/alias/marina-a.-wald%C3%A9n"
  volume: "2651"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40253-5"
  kind: "proceedings"
  key: "zum:2003"
- title: "ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  year: "1995"
  researchr: "https://researchr.org/publication/zum%3A1995"
  cites: 0
  citedby: 0
  booktitle: "ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  conference: "zum"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  kind: "proceedings"
  key: "zum:1995"
- title: "Z User Workshop, London, UK, 14-15 December 1992, Proceedings"
  year: "1992"
  researchr: "https://researchr.org/publication/zum%3A1992"
  cites: 0
  citedby: 0
  booktitle: "Z User Workshop, London, UK, 14-15 December 1992, Proceedings"
  conference: "zum"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "J. E. Nicholls"
    link: "https://researchr.org/alias/j.-e.-nicholls"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19818-0"
  kind: "proceedings"
  key: "zum:1992"
- title: "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"
  year: "2000"
  researchr: "https://researchr.org/publication/zum%3A2000"
  cites: 0
  citedby: 0
  booktitle: "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"
  conference: "zum"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve Dunne"
    link: "https://researchr.org/alias/steve-dunne"
  - name: "Andy Galloway"
    link: "https://researchr.org/alias/andy-galloway"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  volume: "1878"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67944-8"
  kind: "proceedings"
  key: "zum:2000"
- title: "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"
  year: "2002"
  researchr: "https://researchr.org/publication/zum%3A2002"
  cites: 0
  citedby: 0
  booktitle: "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"
  conference: "zum"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Martin C. Henson"
    link: "http://www.essex.ac.uk/csee/people/personalpages/henson.aspx"
  - name: "Ken Robinson"
    link: "https://researchr.org/alias/ken-robinson"
  volume: "2272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43166-7"
  kind: "proceedings"
  key: "zum:2002"
- title: "ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  year: "1998"
  researchr: "https://researchr.org/publication/zum%3A1998"
  cites: 0
  citedby: 0
  booktitle: "ZUM  98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings"
  conference: "zum"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Andreas Fett"
    link: "https://researchr.org/alias/andreas-fett"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65070-9"
  kind: "proceedings"
  key: "zum:1998"
- title: "ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings"
  year: "1997"
  researchr: "https://researchr.org/publication/zum%3A1997"
  cites: 0
  citedby: 0
  booktitle: "ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings"
  conference: "zum"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "David Till"
    link: "https://researchr.org/alias/david-till"
  volume: "1212"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62717-0"
  kind: "proceedings"
  key: "zum:1997"