Sciweavers

102 search results - page 1 / 21
» jucs 2007
Sort
View
62
Voted
JUCS
2007
76views more  JUCS 2007»
15 years 20 days ago
Balance in Systems of Finite Sets with Applications
Dragos Radu Popescu
58
Voted
JUCS
2007
74views more  JUCS 2007»
15 years 20 days ago
Software Is More Than Code
Sriram K. Rajamani
70
Voted
JUCS
2007
87views more  JUCS 2007»
15 years 20 days ago
Formal Methods for Specifying, Validating, and Verifying Requirements
Constance L. Heitmeyer
75
Voted
JUCS
2007
76views more  JUCS 2007»
15 years 20 days ago
Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages
Roberto da Silva Bigonha, Martin A. Musicante
77
Voted
JUCS
2007
77views more  JUCS 2007»
15 years 20 days ago
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial