Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. Plugging-in proof development environments using Locks in LF. Mathematical Structures in Computer Science, 28(9):1578-1605, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.