| Document Date: 2011-04-20 09:47:07 Open Document File Size: 1,23 MBShare Result on Facebook
City Austin / / Company ESPRIT / Oxford University Computing Laboratory / / Country United Kingdom / / / IndustryTerm software malaise / correct systems / veri cation systems / veri cation technology / / Organization Commission of the European Communities / CONTENTS Chapter / Oxford University / FSA / / Person James H. Fetzer / Hans Langmaack Korreferent / / Position General / ProCoS Secretary / Programming Research Group / software engineer / / Technology veri cation technology / html / / URL http /
SocialTag |