Items where Author is "Smith, D.E."

Number of items: 3.
  • Smoothing the transition from formal specification to object-oriented implementation. (1995) P.N. Taylor and D.E. Smith
  • A case study for generic processes and reusability in LOTOS. (1994) P.N. Taylor and D.E. Smith
  • The influence of the formal description technique LOTOS on concurrent system design. (1994) P.N. Taylor and D.E. Smith