Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
11-30 
& author :
D. Galin or
D.C. Montgomery and G.C. Runger or
E. Gamma et al or
G. Kiczales et al. or
J.G. Brookshear or
Joint Task Force on Computing Curricula, IEEE Computer Society and Association for Computing Machinery or
R.E. Fairley or
T. Gilb
& article :
“A Specifier’s Introduction to Formal Methods” or
None
& author :
D. Galin or
D.C. Montgomery and G.C. Runger or
E. Gamma et al or
G. Kiczales et al. or
J.G. Brookshear or
Joint Task Force on Computing Curricula, IEEE Computer Society and Association for Computing Machinery or
R.E. Fairley or
T. Gilb
& article :
“A Specifier’s Introduction to Formal Methods” or
None Click on the filter values below to narrow your results.
author: (Click arrow to add another value)
article: (Click arrow to add another value)
publication:
edition:
publisher:
issue:
part:
link:
Showing below up to 4 results in range #1 to #4.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)
