Search Sciweavers | Sciweavers

102 search results - page 1 / 21

» jucs 2007

click to vote

JUCS
2007

76views more JUCS 2007»

Balance in Systems of Finite Sets with Applications

13 years 4 months ago

Download www.jucs.org

Dragos Radu Popescu

claim paper

Read More »

click to vote

JUCS
2007

74views more JUCS 2007»

Software Is More Than Code

13 years 4 months ago

Download www.cs.man.ac.uk

Sriram K. Rajamani

claim paper

Read More »

click to vote

JUCS
2007

87views more JUCS 2007»

Formal Methods for Specifying, Validating, and Verifying Requirements

13 years 4 months ago

Download www.cs.man.ac.uk

Constance L. Heitmeyer

claim paper

Read More »

click to vote

JUCS
2007

76views more JUCS 2007»

Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages

13 years 4 months ago

Download www.jucs.org

Roberto da Silva Bigonha, Martin A. Musicante

claim paper

Read More »

click to vote

JUCS
2007

77views more JUCS 2007»

Formal Methods: Theory Becoming Practice

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers