Back to Results
First PageMeta Content
Software engineering / Function / Java Pathfinder / ALGOL 68 / Computing / Programming language theory / Quicken Interchange Format


ACM SIGSOFT Software Engineering Notes Page 1 November 2012 Volume 37 Number 6
Add to Reading List

Document Date: 2015-04-10 18:09:41

Open Document

File Size: 762,73 KB

Share Result on Facebook

City

Washington / DC / Berlin / New York / /

Company

CNF / IEEE Journal / Google / /

Country

United States / /

Facility

Corina S. Pas Queen Mary University of London NASA Ames Research Center ABSTRACT Quantitative Information Flow / /

IndustryTerm

software system / real-world applications / software engineering / prototype tool / search progresses / software analysis technique / integer solutions / polynomial time algorithm / software data / opensource prototyping tool / possible solutions / open-source prototyping tool / model checking tool / /

Organization

pp. / Mary University of London NASA Ames Research Center ABSTRACT Quantitative Information Flow / IEEE Computer Society / Corina S. Pas Queen Mary University of London NASA Ames Research Center ABSTRACT Quantitative Information Flow / /

Person

Oksana Tkachuk / Pasquale Malacaria / /

Position

author / /

Product

Pyle P32 Television / /

ProgrammingLanguage

Mathematica / Java / R / DC / C / K / C++ / /

Technology

2382756.2382791 http /

URL

http /

SocialTag