Sciweavers

65 search results - page 1 / 13

» birthday 2010

10

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

13 years 5 months ago

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

9

BIRTHDAY
2010
Springer

136views Applied Computing» more BIRTHDAY 2010»

Computer Science and State Machines

13 years 5 months ago

Computer Science and State Machines

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

12

BIRTHDAY
2010
Springer

139views Applied Computing» more BIRTHDAY 2010»

Hereditary Zero-One Laws for Graphs

13 years 5 months ago

Hereditary Zero-One Laws for Graphs

Download shelah.logic.at

Saharon Shelah, Mor Doron

claim paper

Read More »

7

BIRTHDAY
2010
Springer

135views Applied Computing» more BIRTHDAY 2010»

Compositionality: Ontology and Mereology of Domains

13 years 4 months ago

Compositionality: Ontology and Mereology of Domains

Download www2.imm.dtu.dk

Dines Bjørner, Asger Eir

claim paper

Read More »

10

BIRTHDAY
2010
Springer

112views Applied Computing» more BIRTHDAY 2010»

Reverse Engineering Using Graph Queries

13 years 1 months ago

Reverse Engineering Using Graph Queries

Download www.cs.uni-paderborn.de

Jürgen Ebert, Daniel Bildhauer

claim paper

Read More »

« Prev « First page 1 / 13 Last » Next »