VerifyThis 2018 - Polished Isabelle Solutions (Q7361216)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry VerifyThis2018
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | VerifyThis 2018 - Polished Isabelle Solutions |
AFP entry VerifyThis2018 |
Statements
27 April 2018
0 references
Peter Lammich
0 references
Simon Wimmer
0 references
VerifyThis 2018 - Polished Isabelle Solutions (English)
0 references
VerifyThis 2018 was a program verification competition associated with ETAPS 2018. It was the 7th event in the VerifyThis competition series. In this entry, we present polished and completed versions of our solutions that we created during the competition.
0 references
