A functional programming approach to the specification and verification of concurrent systems

Functional specification of time-sensitive communicating systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Embedding a logical theory of constructions in Agda

Proceedings of the 3rd workshop on Programming languages meets program verification
Combining interactive and automatic reasoning in first order theories of functional programs

FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures

Hi-index	0.00