Sciweavers

8828 search results - page 36 / 1766

» Formal methods in practice

56

TYPES
2004
Springer

78views Formal Methods» more TYPES 2004»

Interfaces as Games, Programs as Strategies

15 years 3 months ago

Interfaces as Games, Programs as Strategies

Download types2004.lri.fr

Markus Michelbrink

claim paper

Read More »

58

TLDI
2003
ACM

105views Formal Methods» more TLDI 2003»

Garbage collection safety for region-based memory management

15 years 3 months ago

Garbage collection safety for region-based memory management

Download www.itu.dk

Martin Elsman

claim paper

Read More »

68

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 2 months ago

Test-Case Calculation through Abstraction

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

72

FM
2001
Springer

144views Formal Methods» more FM 2001»

Composing Contracts: An Adventure in Financial Engineering

15 years 2 months ago

Composing Contracts: An Adventure in Financial Engineering

Download www.cs.uu.nl

Simon L. Peyton Jones

claim paper

Read More »

64

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

15 years 2 months ago

Information Flow Control and Applications - Bridging a Gap

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

Heiko Mantel

claim paper

Read More »

« Prev « First page 36 / 1766 Last » Next »