Sciweavers

4340 search results - page 19 / 868

» Formal Methods and Cryptography

72

TYPES
2004
Springer

94views Formal Methods» more TYPES 2004»

Surreal Numbers in Coq

15 years 5 months ago

Surreal Numbers in Coq

Download types2004.lri.fr

Lionel Elie Mamane

claim paper

Read More »

62

TYPES
2004
Springer

78views Formal Methods» more TYPES 2004»

Interfaces as Games, Programs as Strategies

15 years 5 months ago

Interfaces as Games, Programs as Strategies

Download types2004.lri.fr

Markus Michelbrink

claim paper

Read More »

66

TLDI
2003
ACM

105views Formal Methods» more TLDI 2003»

Garbage collection safety for region-based memory management

15 years 5 months ago

Garbage collection safety for region-based memory management

Download www.itu.dk

Martin Elsman

claim paper

Read More »

75

Voted

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 »

84

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 »

« Prev « First page 19 / 868 Last » Next »