(1 - 4 von 6
)
More reliable software thanks to mathematical demonstrations
phys.org
Viktor Kuncak and post-doctoral researcher Andrew Reynolds are currently working to develop automatic software verification tools. Just like a ...
VMCAI 2010
software.imdea.org
Kuat Yessenov, Ruzica Piskac and Viktor Kuncak. Collections, Cardinalities, and Relations. Rohit Chadha, Axel Legay, Pavithra Prabhakar and Mahesh ...
sortiert nach Relevanz / Datum