(1 - 15 von 16
)
i12www.iti.uni-karlsruhe.de
i12www.iti.uni-karlsruhe.de
... Methods) 14: :30 Discussion: Teaching Formal Methods (Chair: Reiner Hähnle) 15: :00 Coffee 16: :30 Thorsten Bormer ...
sortiert nach Relevanz / Datum