Search Sciweavers | Sciweavers

852 search results - page 28 / 171

» entcs 2010

click to vote

ENTCS
2007

89views more ENTCS 2007»

Measuring a Java Test Suite Coverage Using JML Specifications

14 years 10 months ago

Download react.cs.uni-sb.de

Frédéric Dadeau, Yves Ledru, Lydie d...

claim paper

Read More »

click to vote

ENTCS
2002

62views more ENTCS 2002»

Model Checking Games

14 years 10 months ago

Download www.games.rwth-aachen.de

Erich Grädel

claim paper

Read More »

click to vote

ENTCS
1998

50views more ENTCS 1998»

Topological Duality in Semantics

14 years 10 months ago

Download www.liacs.nl

Marcello M. Bonsangue

claim paper

Read More »

click to vote

ENTCS
1998

88views more ENTCS 1998»

Automatically Proving Up-to Bisimulation

14 years 10 months ago

Download cermics.enpc.fr

Daniel Hirschkoff

claim paper

Read More »

click to vote

ENTCS
1998

63views more ENTCS 1998»

Proof theory and computational analysis

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers