Sciweavers

149 search results - page 11 / 30
» Editorials
Sort
View
JUCS
2007
95views more  JUCS 2007»
13 years 9 months ago
Formal Methods Guest Editorial
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
Richard Banach
CAD
2004
Springer
13 years 9 months ago
Editorial to special issue: CAD education
Nickolas S. Sapidis, Myung-Soo Kim
SIGECOM
2000
ACM
120views ECommerce» more  SIGECOM 2000»
13 years 9 months ago
Editorials
Peter R. Wurman