Up
–
frama-c-wp
»
Wp
» LogicSemantics
Module
Wp.LogicSemantics
module
Make
(
M
:
Memory.Model
) :
Memory.LogicSemantics
with
module
M
=
M