Artikel in einem Konferenzbericht,

Run your research: on the effectiveness of lightweight mechanization.

, , , , , , , , , und .
POPL, Seite 285-296. ACM, (2012)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen