wneuper/isa: doc-isac/mlehnfeld/bib.bib@f8845fc8f38d

     1 @Book{Nipkow-Paulson-Wenzel:2002,

     2   author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},

     3   title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},

     4   publisher	= {Springer},

     5   series	= {LNCS},

     6   volume	= 2283,

     7   year		= 2002}

     9 @Article{plmms10,

    10   author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},

    11   title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},

    12   journal = 	 {ACM Communications in Computer Algebra},

    13   year = 	 {2010},

    14   volume = 	 {44},

    15   number = 	 {1/2},

    16   pages = 	 {27-41},

    17   doi =          {10.1145/1838599.1838621}

    18 }

    20 @Manual{isar-impl,

    21   title = 	 {The {Isabelle/Isar} Implementation},

    22   author = 	 {Makarius Wenzel},

    23   month = 	 {30 January},

    24   year = 	 {2011},

    25   note = 	 {With contributions by Florian Haftmann and Larry Paulson}

    26 }

author	Walther Neuper <neuper@ist.tugraz.at>
	Tue, 17 Sep 2013 09:50:52 +0200
changeset 52107	f8845fc8f38d
parent 52056	src/Doc/isac/mlehnfeld/bib.bib@f5d9bceb4dc0
permissions	-rw-r--r--