Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming proof » programming problem, programming program, programming project
array a » array _
1
Azala
Argitaratua 2010
Aurkibidea: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Testu osoa
Baliabide elektronikoa eBook
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali — Bilaketa gorde