iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/afp/LammichW19a.rdf
Peter Lammich and Simon Wimmer: VerifyThis 2019 - Polished Isabelle Solutions. (2019) journals/afp/LammichW19a VerifyThis 2019 - Polished Isabelle Solutions. 2 Peter Lammich 1 Simon Wimmer 0001 2 Arch. Formal Proofs Arch. Formal Proofs 2019 2019 provenance information for RDF data of dblp record 'journals/afp/LammichW19a' 2021-12-13T13:21:14+0100