Functional dependencies of C functions via weakest pre-conditions
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile PrevostoVolume:
13
Language:
english
Pages:
13
DOI:
10.1007/s10009-011-0192-z
Date:
October, 2011
File:
PDF, 270 KB
english, 2011