Search Sciweavers | Sciweavers

48 search results - page 2 / 10

» jar 2006

click to vote

JAR
2010

96views more JAR 2010»

Faster and More Complete Extended Static Checking for the Java Modeling Language

13 years 3 months ago

Download users.encs.concordia.ca

Perry R. James, Patrice Chalin

claim paper

Read More »

click to vote

JAR
2010

82views more JAR 2010»

A Formal Logic Approach to Constrained Combinatorial Testing

13 years 3 months ago

Download tarot2010.ist.tugraz.at

Andrea Calvagna, Angelo Gargantini

claim paper

Read More »

click to vote

JAR
2010

83views more JAR 2010»

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler

13 years 3 months ago

Download research.microsoft.com

Sascha Böhme, Michal Moskal, Wolfram Schulte,...

claim paper

Read More »

click to vote

JAR
2006

63views more JAR 2006»

Automated Reasoning for Security Protocol Analysis

13 years 4 months ago

Download www.easychair.org

Alessandro Armando, David A. Basin, Jorge Cu&eacut...

claim paper

Read More »

click to vote

JAR
2002

56views more JAR 2002»

Short Single Axioms for Boolean Algebra

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers