International Workshop on the ACL2 Theorem Prover and Its Applications (15. : 2018 : Austin, Tex.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Austin, Tex. Homepage (1) GND index.html