Sciweavers

53327 search results - page 111 / 10666
» or 2007
Sort
View
JUCS
2007
76views more  JUCS 2007»
15 years 3 months ago
Balance in Systems of Finite Sets with Applications
Dragos Radu Popescu
79
Voted
JUCS
2007
74views more  JUCS 2007»
15 years 3 months ago
Software Is More Than Code
Sriram K. Rajamani
85
Voted
JUCS
2007
87views more  JUCS 2007»
15 years 3 months ago
Formal Methods for Specifying, Validating, and Verifying Requirements
Constance L. Heitmeyer
« Prev « First page 111 / 10666 Last » Next »