author = { Fabio Alessi AND Alberto Ciaffaglione AND Pietro Di Gianantonio AND Furio Honsell AND Marina Lenisa AND Ivan Scagnetto },

title = { LF+ in Coq for "fast and loose" reasoning },

isbn = {1972-5787},

year = {2019},

url = { http://slubdd.de/katalog?TN_libero_mab2 }