Sciweavers

5255 search results - page 29 / 1051

» Formal Methods for Privacy

16

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

14 years 6 days ago

Test-Case Calculation through Abstraction

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

22

FM
2001
Springer

144views Formal Methods» more FM 2001»

Composing Contracts: An Adventure in Financial Engineering

14 years 6 days ago

Composing Contracts: An Adventure in Financial Engineering

Download www.cs.uu.nl

Simon L. Peyton Jones

claim paper

Read More »

18

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

14 years 6 days ago

Information Flow Control and Applications - Bridging a Gap

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »

21

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

14 years 4 days ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

23

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

14 years 4 days ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

« Prev « First page 29 / 1051 Last » Next »