Academic
Conferences
PLPV - Programming Languages meets Program Verification

Programming Languages meets Program Verification,PLPV,Programming Languages

PLPV - Programming Languages meets Program Verification
Publications: 36| Citation Count: 92 (Self-Citation: 6)
Year Range: 2006-2011
Fields of study: Programming Languages
Cumulative Annual
Sort by: