TY -
GEN
AU - Fabio Alessi
AU - Alberto Ciaffaglione
AU - Pietro Di Gianantonio
AU - Furio Honsell
AU - Marina Lenisa
AU - Ivan Scagnetto
TI -
LF+ in Coq for "fast and loose" reasoning
SN - 1972-5787
PY - 2019
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -