Aditi Barthwal

1. A mechanisation of some context-free language theory in HOL4
   2013/05/23 by Aditi Barthwal, Michael Norrish · 2 citations
   Computer Science · #semigroups and automata theory #Logic, programming, and type systems #Formal Methods in Verification