Back to Results
First PageMeta Content
Convex hull / Q / Mathematics / Geometry / Euclidean plane geometry / Polygon


SafeCert[removed]The Importance of Being Formal Udo Frese 1 Daniel Hausmann 1 Christoph L¨ uth 1,2 Holger T¨aubig 1 Dennis Walter 1
Add to Reading List

Document Date: 2008-02-15 04:25:17

Open Document

File Size: 279,86 KB

Share Result on Facebook

/

IndustryTerm

Industrial solutions / machinery directive / software verification process / control software / /

Person

DIN EN ISO / Walter Frese / /

Position

corresponding author / /

ProgrammingLanguage

K / T / L / /

Technology

laser / /

URL

www.elsevier.nl/locate/entcs / http /

SocialTag