Plugging-in proof development environments using Locks in LF.

Furio Honsell Luigi Liquori Petar Maksimovic Ivan Scagnetto

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

development environments
development environment
lightweight
model driven
software components
databases
case study
viewpoint