Research indexBook chapter
Verifying C Programs
Almeida, Frade, Pinto and 1 other
Undergraduate topics in computer science1 Jan 2011
NobleIDark:/48914/w1/20260526/08B35E16DOI10.1007/978-0-85729-018-2_10
Book chapter
Verifying C Programs
Almeida, Frade, Pinto and 1 other · Undergraduate topics in computer science · 2011 · Subscription
NobleIDark:/48914/w1/20260526/08B35E16DOI10.1007/978-0-85729-018-2_10