%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Jonathan Julian Huerta y Munive at 2019-06-10 16:26:22 +0100 


%% Saved with string encoding Unicode (UTF-8)

@article{ArmstrongGS16,
	Author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth},
	Journal = {Formal Aspects of Computing},
	Number = 2,
	Pages = {265--293},
	Title = {Building program construction and verification tools from algebraic principles},
	Volume = 28,
	Year = 2016}

@inproceedings{BohrerRVVP17,
	Author = {Rose Bohrer and Vincent Rahli and Ivana Vukotic and Marcus V{\"{o}}lp and Andr{\'{e}} Platzer},
	Booktitle = {CPP 2017},
	Pages = {208--221},
	Publisher = {{ACM}},
	Title = {Formally verified differential dynamic logic},
	Year = 2017}

@article{DesharnaisS11,
	Author = {Jules Desharnais and Georg Struth},
	Journal = {Science of Computer Programming},
	Number = 3,
	Pages = {181--203},
	Title = {Internal axioms for domain semirings},
	Volume = 76,
	Year = 2011}

@article{ImmlerH12a,
	Author = {Fabian Immler and Johannes H{\"{o}}lzl},
	Journal = {Archive of Formal Proofs},
	Title = {Ordinary Differential Equations},
	Url = {https://www.isa-afp.org/entries/Ordinary_Differential_Equations.shtml},
	Year = {2012},
	Bdsk-Url-1 = {https://www.isa-afp.org/entries/Ordinary_Differential_Equations.shtml}}

@book{Platzer10,
	Author = {Andr\'e Platzer},
	Publisher = {Springer},
	Title = {Logical Analysis of Hybrid Systems},
	Year = 2010}

@article{afp:transem,
	Author = {Georg Struth},
	Journal = {Archive of Formal Proofs},
	Title = {Transformer Semantics},
	Year = 2018}

@article{afp:vericomp,
	Author = {Victor B. F. Gomes and Georg Struth},
	Journal = {Archive of Formal Proofs},
	Title = {Program Construction and Verification Components Based on {K}leene Algebra},
	Year = 2016}


