BibTeX records: Rosemary Monahan

download as .bib file

@proceedings{DBLP:journals/corr/abs-1912-09611,
  editor    = {Rosemary Monahan and
               Virgile Prevosto and
               Jos{\'{e}} Proen{\c{c}}a},
  title     = {Proceedings Fifth Workshop on Formal Integrated Development Environment,
               F-IDE@FM 2019, Porto, Portugal, 7th October 2019},
  series    = {{EPTCS}},
  volume    = {310},
  year      = {2019},
  url       = {https://doi.org/10.4204/EPTCS.310},
  doi       = {10.4204/EPTCS.310},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1912-09611.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Monahan18,
  author    = {Rosemary Monahan},
  title     = {Daniel Kroening and Ofer Strichman: Decision procedures - Springer
               Verlag, 2016, XXI, +356 {ISBN} 978-3-662-50496-3 (Hardback, {\mbox{\texteuro}}69,
               67), http: //www.decision-procedures.org/},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {6},
  pages     = {759},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-018-0466-2},
  doi       = {10.1007/s00165-018-0466-2},
  timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fac/Monahan18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ChengMP18,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  title     = {Formalised {EMFTVM} bytecode language for sound verification of model
               transformations},
  journal   = {Software and Systems Modeling},
  volume    = {17},
  number    = {4},
  pages     = {1197--1225},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10270-016-0553-x},
  doi       = {10.1007/s10270-016-0553-x},
  timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sosym/ChengMP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1811-09014,
  editor    = {Paolo Masci and
               Rosemary Monahan and
               Virgile Prevosto},
  title     = {Proceedings 4th Workshop on Formal Integrated Development Environment,
               F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series    = {{EPTCS}},
  volume    = {284},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.284},
  doi       = {10.4204/EPTCS.284},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-09014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKMT17,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan and
               Michael Tautschnig},
  title     = {VerifyThis 2015 - {A} program verification competition},
  journal   = {{STTT}},
  volume    = {19},
  number    = {6},
  pages     = {763--771},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10009-016-0438-x},
  doi       = {10.1007/s10009-016-0438-x},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/HuismanKMT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarrellMP17,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  editor    = {Zhenhua Duan and
               Luke Ong},
  title     = {Combining Event-B and {CSP:} An Institution Theoretic Approach to
               Interoperability},
  booktitle = {Formal Methods and Software Engineering - 19th International Conference
               on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
               13-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10610},
  pages     = {140--156},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68690-5\_9},
  doi       = {10.1007/978-3-319-68690-5\_9},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/FarrellMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarrellMP17,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  editor    = {Alessandro Cimatti and
               Marjan Sirjani},
  title     = {Specification Clones: An Empirical Study of the Structure of Event-B
               Specifications},
  booktitle = {Software Engineering and Formal Methods - 15th International Conference,
               {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10469},
  pages     = {152--167},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66197-1\_10},
  doi       = {10.1007/978-3-319-66197-1\_10},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/FarrellMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GurovHHM16,
  author    = {Dilian Gurov and
               Klaus Havelund and
               Marieke Huisman and
               Rosemary Monahan},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Static and Runtime Verification, Competitors or Friends? (Track Summary)},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {397--401},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_27},
  doi       = {10.1007/978-3-319-47166-2\_27},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/GurovHHM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChengMM16,
  author    = {Zheng Cheng and
               Dominique M{\'{e}}ry and
               Rosemary Monahan},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {On Two Friends for Getting Correct Programs - Automatically Translating
               Event {B} Specifications to Recursive Algorithms in Rodin},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {821--838},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_57},
  doi       = {10.1007/978-3-319-47166-2\_57},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/ChengMM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HealyMP16,
  author    = {Andrew Healy and
               Rosemary Monahan and
               James F. Power},
  editor    = {Sascha Ossowski},
  title     = {Evaluating the use of a general-purpose benchmark suite for domain-specific
               SMT-solving},
  booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  pages     = {1558--1561},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2851613.2851975},
  doi       = {10.1145/2851613.2851975},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/HealyMP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FarrellMP16,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  editor    = {Phillip James and
               Markus Roggenbach},
  title     = {An Institution for Event-B},
  booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
               1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
               2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10644},
  pages     = {104--119},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-72044-9\_8},
  doi       = {10.1007/978-3-319-72044-9\_8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/wadt/FarrellMP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HealyMP17,
  author    = {Andrew Healy and
               Rosemary Monahan and
               James F. Power},
  editor    = {Catherine Dubois and
               Paolo Masci and
               Dominique M{\'{e}}ry},
  title     = {Predicting {SMT} Solver Performance for Software Verification},
  booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
               Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
  series    = {{EPTCS}},
  volume    = {240},
  pages     = {20--37},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.240.2},
  doi       = {10.4204/EPTCS.240.2},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/HealyMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKM15,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  title     = {VerifyThis 2012 - {A} Program Verification Competition},
  journal   = {{STTT}},
  volume    = {17},
  number    = {6},
  pages     = {647--657},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10009-015-0396-8},
  doi       = {10.1007/s10009-015-0396-8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/HuismanKM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/ChengMP15,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  editor    = {Dimitris S. Kolovos and
               Manuel Wimmer},
  title     = {A Sound Execution Semantics for {ATL} via Translation Validation -
               Research Paper},
  booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
               {ICMT} 2015, Held as Part of {STAF} 2015, L'Aquila, Italy, July 20-21,
               2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9152},
  pages     = {133--148},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21155-8\_11},
  doi       = {10.1007/978-3-319-21155-8\_11},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/icmt/ChengMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ChengMP15,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  editor    = {Moussa Amrani and
               Eugene Syriani and
               Manuel Wimmer},
  title     = {Verifying SimpleGT Transformations Using an Intermediate Verification
               Language},
  booktitle = {Proceedings of the Fourth International Workshop on Verification of
               Model Transformations co-located with Software Technologies: Applications
               and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1530},
  pages     = {12--19},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1530/paper3.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:00 +0100},
  biburl    = {https://dblp.org/rec/conf/staf/ChengMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015ftfjp,
  editor    = {Rosemary Monahan},
  title     = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786536},
  doi       = {10.1145/2786536},
  isbn      = {978-1-4503-3656-7},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/2015ftfjp.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyerHKM14,
  author    = {Dirk Beyer and
               Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  title     = {Evaluating Software Verification Systems: Benchmarks and Competitions
               (Dagstuhl Reports 14171)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {4},
  pages     = {1--19},
  year      = {2014},
  url       = {https://doi.org/10.4230/DagRep.4.4.1},
  doi       = {10.4230/DagRep.4.4.1},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dagstuhl-reports/BeyerHKM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeryM13,
  author    = {Dominique M{\'{e}}ry and
               Rosemary Monahan},
  editor    = {Alexei Lisitsa and
               Andrei P. Nemytykh},
  title     = {Transforming Event {B} Models into Verified C{\#} Implementations},
  booktitle = {First International Workshop on Verification and Program Transformation,
               {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {57--73},
  publisher = {EasyChair},
  year      = {2013},
  url       = {http://www.easychair.org/publications/paper/147592},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/MeryM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WuMP13,
  author    = {Hao Wu and
               Rosemary Monahan and
               James F. Power},
  title     = {Exploiting Attributed Type Graphs to Generate Metamodel Instances
               Using an {SMT} Solver},
  booktitle = {Seventh International Symposium on Theoretical Aspects of Software
               Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
  pages     = {175--182},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/TASE.2013.31},
  doi       = {10.1109/TASE.2013.31},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/tase/WuMP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChengMP12,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  editor    = {Vladimir Klebanov and
               Bernhard Beckert and
               Armin Biere and
               Geoff Sutcliffe},
  title     = {A Simple Complexity Measurement for Software Verification and Software
               Testing},
  booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
               Evaluation of Reasoning Systems, Manchester, United Kingdom, June
               30, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {873},
  pages     = {28--31},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-873/papers/paper\_8.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:03 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/ChengMP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuismanKM12,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  editor    = {Vladimir Klebanov and
               Bernhard Beckert and
               Armin Biere and
               Geoff Sutcliffe},
  title     = {On the Organisation of Program Verification Competitions},
  booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
               Evaluation of Reasoning Systems, Manchester, United Kingdom, June
               30, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {873},
  pages     = {50--59},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-873/papers/paper\_2.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:03 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/HuismanKM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-6322,
  author    = {Hao Wu and
               Rosemary Monahan and
               James F. Power},
  title     = {Metamodel Instance Generation: {A} systematic literature review},
  journal   = {CoRR},
  volume    = {abs/1211.6322},
  year      = {2012},
  url       = {http://arxiv.org/abs/1211.6322},
  archivePrefix = {arXiv},
  eprint    = {1211.6322},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1211-6322.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
  author    = {Vladimir Klebanov and
               Peter M{\"{u}}ller and
               Natarajan Shankar and
               Gary T. Leavens and
               Valentin W{\"{u}}stholz and
               Eyad Alkassar and
               Rob Arthan and
               Derek Bronish and
               Rod Chapman and
               Ernie Cohen and
               Mark A. Hillebrand and
               Bart Jacobs and
               K. Rustan M. Leino and
               Rosemary Monahan and
               Frank Piessens and
               Nadia Polikarpova and
               Tom Ridge and
               Jan Smans and
               Stephan Tobies and
               Thomas Tuerk and
               Mattias Ulbrich and
               Benjamin Wei{\ss}},
  editor    = {Michael J. Butler and
               Wolfram Schulte},
  title     = {The 1st Verified Software Competition: Experience Report},
  booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
               Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6664},
  pages     = {154--168},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21437-0\_14},
  doi       = {10.1007/978-3-642-21437-0\_14},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
  author    = {Thorsten Bormer and
               Marc Brockschmidt and
               Dino Distefano and
               Gidon Ernst and
               Jean{-}Christophe Filli{\^{a}}tre and
               Radu Grigore and
               Marieke Huisman and
               Vladimir Klebanov and
               Claude March{\'{e}} and
               Rosemary Monahan and
               Wojciech Mostowski and
               Nadia Polikarpova and
               Christoph Scheben and
               Gerhard Schellhorn and
               Bogdan Tofan and
               Julian Tschannen and
               Mattias Ulbrich},
  editor    = {Bernhard Beckert and
               Ferruccio Damiani and
               Dilian Gurov},
  title     = {The {COST} {IC0701} Verification Competition 2011},
  booktitle = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7421},
  pages     = {3--21},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-31762-0\_2},
  doi       = {10.1007/978-3-642-31762-0\_2},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LeinoM10,
  author    = {K. Rustan M. Leino and
               Rosemary Monahan},
  editor    = {Gary T. Leavens and
               Peter W. O'Hearn and
               Sriram K. Rajamani},
  title     = {Dafny Meets the Verification Benchmarks Challenge},
  booktitle = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6217},
  pages     = {112--126},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9\_8},
  doi       = {10.1007/978-3-642-15057-9\_8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/vstte/LeinoM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeinoM09,
  author    = {K. Rustan M. Leino and
               Rosemary Monahan},
  editor    = {Sung Y. Shin and
               Sascha Ossowski},
  title     = {Reasoning about comprehensions with first-order {SMT} solvers},
  booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
               Honolulu, Hawaii, USA, March 9-12, 2009},
  pages     = {615--622},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1529282.1529411},
  doi       = {10.1145/1529282.1529411},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/LeinoM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CarterMM05,
  author    = {Gareth Carter and
               Rosemary Monahan and
               Joseph M. Morris},
  editor    = {Bernhard K. Aichernig and
               Bernhard Beckert},
  title     = {Software Refinement with Perfect Developer},
  booktitle = {Third {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  pages     = {363--373},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/SEFM.2005.41},
  doi       = {10.1109/SEFM.2005.41},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/CarterMM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MonahanG97,
  author    = {Rosemary Monahan and
               Franz Geiselbrechtinger},
  editor    = {Henry McGloughlin and
               Gerard O'Regan},
  title     = {Tactics for Transformational Programming},
  booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
               3-4 July 1997},
  series    = {Workshops in Computing},
  publisher = {{BCS}},
  year      = {1997},
  url       = {http://ewic.bcs.org/content/ConWebDoc/4614},
  timestamp = {Tue, 19 Jun 2018 08:04:20 +0200},
  biburl    = {https://dblp.org/rec/conf/iwfm/MonahanG97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics