Sciweavers

5255 search results - page 29 / 1051

» Formal Methods for Privacy

75

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 4 months ago

Test-Case Calculation through Abstraction

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

87

FM
2001
Springer

144views Formal Methods» more FM 2001»

Composing Contracts: An Adventure in Financial Engineering

15 years 4 months ago

Composing Contracts: An Adventure in Financial Engineering

Download www.cs.uu.nl

Simon L. Peyton Jones

claim paper

Read More »

73

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

15 years 4 months ago

Information Flow Control and Applications - Bridging a Gap

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

Heiko Mantel

claim paper

Read More »

77

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 4 months ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

80

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 4 months 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 »