First Page | Document Content | |
---|---|---|
Date: 2016-04-12 07:05:49 | Translating Scala Programs to Isabelle/HOL System Description Lars Hupel1 and Viktor Kuncak2 1 2Add to Reading ListSource URL: lara.epfl.chDownload Document from Source WebsiteFile Size: 199,91 KBShare Document on Facebook |