【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

World Congress on Formal Methods in the Development of Computing Systems

ID:DA12441706

Alias Name

Congress on Formal Methods in the Development of Computing Systems, World

FM

Search authors sharing the same name

Search Results1-2 of 2

1

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Dennis Dams ... [et al.], (eds.)

Springer c1999 Lecture notes in computer science 1680

Available at 31 libraries
2

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Springer c1999 Lecture notes in computer science 1708, 1709

v. 1 , v. 2

Available at 37 libraries

Search this author

Related Authors