Search dblp for Publications

• > Home > Search

@incollection{DBLP:books/sp/98/AgerholmBM98,
  author       = {Sten Agerholm and
                  Juan Bicarregui and
                  Savi Maharaj},
  editor       = {Juan Bicarregui},
  title        = {On the Verification of {VDM} Specification and Refinement with {PVS}},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {157--189},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_6},
  doi          = {10.1007/978-1-4471-1532-8\_6},
  timestamp    = {Mon, 15 Jun 2020 16:48:22 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/AgerholmBM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/98/AgerholmF98,
  author       = {Sten Agerholm and
                  Jacob Frost},
  editor       = {Juan Bicarregui},
  title        = {Supporting Proof in {VDM-SL} using Isabelle},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {191--223},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_7},
  doi          = {10.1007/978-1-4471-1532-8\_7},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/AgerholmF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/98/BicarreguiM98,
  author       = {Juan Bicarregui and
                  Brian Matthews},
  editor       = {Juan Bicarregui},
  title        = {The Specification and Proof of an {EXPRESS} to {SQL} "Compiler"},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {95--121},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_4},
  doi          = {10.1007/978-1-4471-1532-8\_4},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/BicarreguiM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/98/FitzgeraldJ98,
  author       = {John S. Fitzgerald and
                  Cliff B. Jones},
  editor       = {Juan Bicarregui},
  title        = {Proof in the Analysis of a Model of a Tracking System},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {1--29},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_1},
  doi          = {10.1007/978-1-4471-1532-8\_1},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/FitzgeraldJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/98/Lindsay98,
  author       = {Peter Lindsay},
  editor       = {Juan Bicarregui},
  title        = {Specification and Validation of a Network Security Policy Model},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {65--93},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_3},
  doi          = {10.1007/978-1-4471-1532-8\_3},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/Lindsay98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/98/MukherjeeF98,
  author       = {Paul Mukherjee and
                  John S. Fitzgerald},
  editor       = {Juan Bicarregui},
  title        = {The Ammunition Control System},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {31--64},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_2},
  doi          = {10.1007/978-1-4471-1532-8\_2},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/MukherjeeF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/98/SlaatsAH98,
  author       = {Noemie Slaats and
                  Bart Van Assche and
                  Albert Hoogewijs},
  editor       = {Juan Bicarregui},
  title        = {Shared Memory Synchronization},
  booktitle    = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  pages        = {123--156},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8\_5},
  doi          = {10.1007/978-1-4471-1532-8\_5},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/SlaatsAH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/98/B1998,
  editor       = {Juan Bicarregui},
  title        = {Proof in {VDM:} Case Studies},
  series       = {Formal Approaches to Computing and Information Technology {(FACIT)}},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-1-4471-1532-8},
  doi          = {10.1007/978-1-4471-1532-8},
  isbn         = {978-3-540-76186-0},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/98/B1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}