Login / Signup
Modular verification of programs with effects and effects handlers.
Thomas Letan
Yann Régis-Gianas
Pierre Chifflier
Guillaume Hiet
Published in:
Formal Aspects Comput. (2021)
Keyphrases
</>
information retrieval
artificial intelligence
information systems
three dimensional
reinforcement learning
artificial neural networks
multiresolution
model checking
positive effects