BibTeX records: Sten Agerholm

download as .bib file

@article{DBLP:journals/fac/BicarreguiMRA98,
  author       = {Juan Bicarregui and
                  Brian Matthews and
                  Brian Ritchie and
                  Sten Agerholm},
  title        = {Investigating the Integration of two Formal Methods},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {5-6},
  pages        = {532--549},
  year         = {1998},
  url          = {https://doi.org/10.1007/s001650050031},
  doi          = {10.1007/S001650050031},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BicarreguiMRA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/AgerholmL98,
  author       = {Sten Agerholm and
                  Peter Gorm Larsen},
  editor       = {Dieter Hutter and
                  Werner Stephan and
                  Paolo Traverso and
                  Markus Ullmann},
  title        = {A Lightweight Approach to Formal Methods},
  booktitle    = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
                  Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1641},
  pages        = {168--183},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48257-1\_10},
  doi          = {10.1007/3-540-48257-1\_10},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/AgerholmL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/AgerholmL98a,
  author       = {Sten Agerholm and
                  Peter Gorm Larsen},
  editor       = {Dieter Hutter and
                  Werner Stephan and
                  Paolo Traverso and
                  Markus Ullmann},
  title        = {The {IFAD} {VDM} Tools: Lightweight Formal Methods},
  booktitle    = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
                  Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1641},
  pages        = {326--329},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48257-1\_22},
  doi          = {10.1007/3-540-48257-1\_22},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/AgerholmL98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/AgerholmLR98,
  author       = {Sten Agerholm and
                  Pierre{-}Jean Lecoeur and
                  Etienne Reichert},
  editor       = {Mark A. Ardis and
                  Joanne M. Atlee},
  title        = {Formal specification and validation at work: a case study using {VDM-SL}},
  booktitle    = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
                  March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  pages        = {78--84},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/298595.298861},
  doi          = {10.1145/298595.298861},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/AgerholmLR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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}
}

@inproceedings{DBLP:conf/fm/AgerholmF97,
  author       = {Sten Agerholm and
                  Jacob Frost},
  editor       = {John S. Fitzgerald and
                  Cliff B. Jones and
                  Peter Lucas},
  title        = {Towards an Integrated {CASE} and Theorem Proving Tool for {VDM-SL}},
  booktitle    = {{FME} '97: Industrial Applications and Strengthened Foundations of
                  Formal Methods, 4th International Symposium of Formal Methods Europe,
                  Graz, Austria, September 15-19, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1313},
  pages        = {278--297},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63533-5\_15},
  doi          = {10.1007/3-540-63533-5\_15},
  timestamp    = {Sun, 02 Jun 2019 21:24:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/AgerholmF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/AgerholmF97,
  author       = {Sten Agerholm and
                  Jacob Frost},
  editor       = {Elsa L. Gunter and
                  Amy P. Felty},
  title        = {An Isabelle-Based Theorem Prover for {VDM-SL}},
  booktitle    = {Theorem Proving in Higher Order Logics, 10th International Conference,
                  TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1275},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0028382},
  doi          = {10.1007/BFB0028382},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AgerholmF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Agerholm96,
  author       = {Sten Agerholm},
  editor       = {Joakim von Wright and
                  Jim Grundy and
                  John Harrison},
  title        = {Translating Specifications in {VDM-SL} to {PVS}},
  booktitle    = {Theorem Proving in Higher Order Logics, 9th International Conference,
                  TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1125},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0105393},
  doi          = {10.1007/BFB0105393},
  timestamp    = {Thu, 05 Sep 2019 14:51:32 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Agerholm96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/AgerholmBD96,
  author       = {Sten Agerholm and
                  Ilya Beylin and
                  Peter Dybjer},
  editor       = {Joakim von Wright and
                  Jim Grundy and
                  John Harrison},
  title        = {A Comparison of {HOL} and {ALF} Formalizations of a Categorical Coherence
                  Theorem},
  booktitle    = {Theorem Proving in Higher Order Logics, 9th International Conference,
                  TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1125},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0105394},
  doi          = {10.1007/BFB0105394},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AgerholmBD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/Agerholm95,
  author       = {Sten Agerholm},
  title        = {{LCF} Examples in {HOL}},
  journal      = {Comput. J.},
  volume       = {38},
  number       = {2},
  pages        = {121--130},
  year         = {1995},
  url          = {https://doi.org/10.1093/comjnl/38.2.121},
  doi          = {10.1093/COMJNL/38.2.121},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Agerholm95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Agerholm95,
  author       = {Sten Agerholm},
  editor       = {E. Thomas Schubert and
                  Phillip J. Windley and
                  Jim Alves{-}Foss},
  title        = {Non-primitive Recursive Function Definitions},
  booktitle    = {Higher Order Logic Theorem Proving and Its Applications, 8th International
                  Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {971},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60275-5\_54},
  doi          = {10.1007/3-540-60275-5\_54},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Agerholm95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/AgerholmG95,
  author       = {Sten Agerholm and
                  Michael J. C. Gordon},
  editor       = {E. Thomas Schubert and
                  Phillip J. Windley and
                  Jim Alves{-}Foss},
  title        = {Experiments with {ZF} Set Theory in {HOL} and Isabelle},
  booktitle    = {Higher Order Logic Theorem Proving and Its Applications, 8th International
                  Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {971},
  pages        = {32--45},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60275-5\_55},
  doi          = {10.1007/3-540-60275-5\_55},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AgerholmG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Agerholm94,
  author       = {Sten Agerholm},
  editor       = {Thomas F. Melham and
                  Juanito Camilleri},
  title        = {{LCF} Examples in {HOL}},
  booktitle    = {Higher Order Logic Theorem Proving and Its Applications, 7th International
                  Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {859},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58450-1\_31},
  doi          = {10.1007/3-540-58450-1\_31},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Agerholm94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Agerholm93,
  author       = {Sten Agerholm},
  editor       = {Jeffrey J. Joyce and
                  Carl{-}Johan H. Seger},
  title        = {Domain Theory in {HOL}},
  booktitle    = {Higher Order Logic Theorem Proving and its Applications, 6th International
                  Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {780},
  pages        = {295--309},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57826-9\_143},
  doi          = {10.1007/3-540-57826-9\_143},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Agerholm93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Agerholm91,
  author       = {Sten Agerholm},
  editor       = {Myla Archer and
                  Jeffrey J. Joyce and
                  Karl N. Levitt and
                  Phillip J. Windley},
  title        = {Mechanizing Program Verification in {HOL}},
  booktitle    = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
                  Proving System and its Applications, August 1991, Davis, California,
                  {USA}},
  pages        = {208--222},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  timestamp    = {Wed, 17 Apr 2002 08:13:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Agerholm91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.