MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Akbarpour, Behzad, Paulson, Lawrence Charles
Published in Journal of automated reasoning (01.03.2010)
Published in Journal of automated reasoning (01.03.2010)
Get full text
Journal Article
Verifying multicast-based security protocols using the inductive method
Martina, Jean Everson, Paulson, Lawrence Charles
Published in International journal of information security (01.04.2015)
Published in International journal of information security (01.04.2015)
Get full text
Journal Article