Lennart Beringer

1 published title

Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15 2012 : proceedings

(Contributor)

1 edition