Back to Results
First PageMeta Content
Computing / Stack / C++ Standard Library / Subroutine / Queue / Stack machine / Abstract data types / Computer programming / Software engineering


Deductive Verification of Data Structures Jens Gerlach DEVICE-SOFT Workshop Berlin, October 2010
Add to Reading List

Document Date: 2013-09-24 04:53:57

Open Document

File Size: 630,33 KB

Share Result on Facebook

City

Berlin / /

IndustryTerm

embeddes systems / /

Person

Jens Gerlach / /

Position

Controller / /

URL

http /

SocialTag