ScholarIQanswers from OpenAlex
Texts in computer science
JournalCitation impact & published research
Texts in computer science is a journal indexed in ScholarIQ from OpenAlex.
What is the OpenAlex record for Texts in computer science?
ScholarIQopenalex
The OpenAlex for Texts in computer science is on the source record.
What are the most-cited papers on Texts in computer science?
ScholarIQmost cited works
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog