Hari Govind V K

Der CHC-Wettbewerb hat Fortschritte bei den Lösungsverfahren und deren Anwendungen in der Programmverifikation gezeigt.