Formal Methods: State of the Art and Future Directions (1996)

by Edmund M. Clarke , Jeannette M. Wing
Venue:ACM Computing Surveys
Citations:381 - 6 self

Active Bibliography

No active bibliography identified.