BibTeX records: Maurice Naftalin

• > Home > Persons > Maurice Naftalin

@book{DBLP:books/daglib/0017180,
  author       = {Maurice Naftalin and
                  Philip Wadler},
  title        = {Java generics and collections},
  publisher    = {O'Reilly},
  year         = {2006},
  url          = {http://www.oreilly.de/catalog/javagenerics/index.html},
  isbn         = {978-0-596-52775-4},
  timestamp    = {Wed, 25 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0017180.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Naftalin94,
  author       = {Maurice Naftalin},
  editor       = {Maurice Naftalin and
                  B. Tim Denvir and
                  Miquel Bertran},
  title        = {Informal Strategies in Design by Refinement},
  booktitle    = {{FME} '94: Industrial Benefit of Formal Methods, Second International
                  Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
                  1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {873},
  pages        = {401--420},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58555-9\_107},
  doi          = {10.1007/3-540-58555-9\_107},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Naftalin94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fm/1994,
  editor       = {Maurice Naftalin and
                  B. Tim Denvir and
                  Miquel Bertran},
  title        = {{FME} '94: Industrial Benefit of Formal Methods, Second International
                  Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
                  1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {873},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58555-9},
  doi          = {10.1007/3-540-58555-9},
  isbn         = {3-540-58555-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Naftalin92,
  author       = {Maurice Naftalin},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Model of the Refinement Process},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {211--229},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_11},
  doi          = {10.1007/978-1-4471-3550-0\_11},
  timestamp    = {Tue, 20 Aug 2019 12:53:32 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Naftalin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppig/Naftalin91,
  author       = {Maurice Naftalin},
  title        = {Formal Derivation Made Easy},
  booktitle    = {Proceedings of the 3rd Annual Workshop of the Psychology of Programming
                  Interest Group, {PPIG} 1991, Hudderfield, UK, January 3-5, 1991},
  pages        = {3},
  publisher    = {Psychology of Programming Interest Group},
  year         = {1991},
  url          = {https://ppig.org/papers/1991-ppig-3rd-naftalin/},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppig/Naftalin91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/Naftalin88,
  author       = {Maurice Naftalin},
  title        = {Verifiable program construction in a user-friendly style},
  booktitle    = {Twelfth International Computer Software and Applications Conference,
                  {COMPSAC} 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988},
  pages        = {60--66},
  publisher    = {{IEEE}},
  year         = {1988},
  url          = {https://doi.org/10.1109/CMPSAC.1988.17151},
  doi          = {10.1109/CMPSAC.1988.17151},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Naftalin88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Naftalin88,
  author       = {Maurice Naftalin},
  editor       = {Robin E. Bloomfield and
                  Lynn S. Marshall and
                  Roger B. Jones},
  title        = {Correctness for Beginners},
  booktitle    = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
                  Ireland, September 11-16, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {328},
  pages        = {26--47},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50214-9\_3},
  doi          = {10.1007/3-540-50214-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Naftalin88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Naftalin86,
  author       = {Maurice Naftalin},
  editor       = {Bernard J. Robinet and
                  Reinhard Wilhelm},
  title        = {An Experiment in Practical Semantics},
  booktitle    = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
                  Federal Republic of Germany, March 17-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {213},
  pages        = {144--159},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16442-1\_11},
  doi          = {10.1007/3-540-16442-1\_11},
  timestamp    = {Thu, 24 Feb 2022 13:41:39 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/Naftalin86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}