Experimenting with monadic equational ...

Type de document :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Titre :
Experimenting with monadic equational reasoning in Coq
Auteur(s) :
Affeldt, Reynald [Auteur]
National Institute of Advanced Industrial Science and Technology [AIST]
Nowak, David [Auteur] refId
Extra Small Extra Safe [2XS]
Titre de la manifestation scientifique :
Proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (JSSST 2018), Osaka-fu, Suita-shi, August 29--31, 2018
Ville :
Osaka
Pays :
Japon
Date de début de la manifestation scientifique :
2018-08-29
Discipline(s) HAL :
Informatique [cs]/Logique en informatique [cs.LO]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL