Experimenting with monadic equational ...

Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Title :
Experimenting with monadic equational reasoning in Coq
Author(s) :
Affeldt, Reynald [Auteur]
National Institute of Advanced Industrial Science and Technology [AIST]
Nowak, David [Auteur] refId
Extra Small Extra Safe [2XS]
Conference title :
Proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (JSSST 2018), Osaka-fu, Suita-shi, August 29--31, 2018
City :
Osaka
Country :
Japon
Start date of the conference :
2018-08-29
HAL domain(s) :
Informatique [cs]/Logique en informatique [cs.LO]
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL