Scholar IQ
Try ScholarIQ free
Upload Records Snowball Search Search OpenAlex
About the database
ScholarIQanswers from OpenAlex

Verification of Sequential and Concurrent Programs

PaperCitations, authors & open-access status

Verification of Sequential and Concurrent Programs is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 197 citations, 2009 year and green oa status.

197
Citations
2009
Year
green
OA Status

Related on ScholarIQ

Frank S. de Boer
Author
Logic, programming, and type systems
Topic
Logic, programming, and type systems
Topic
Formal Methods in Verification
Topic
Software Testing and Debugging Techniques
Topic
470M+ articles · free account