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