☆ 4.7 Article

Formal methods

ACM COMPUTING SURVEYS (2009)

Get Full Text
Add to Collection

Journal

ACM COMPUTING SURVEYS
Volume 41, Issue 4, Pages 1-36

Publisher

Association for Computing Machinery (ACM)
DOI: 10.1145/1592434.1592436

Keywords

-

Categories

Computer Science, Theory & Methods

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.7
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available
Webinars Posters Questions Hubs Funding Journals Papers Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.