Matches in Library of Congress for { ?s ?p Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.. }
Showing items 1 to 2 of
2
with 100 items per page.
Data Portal @ linkeddatafragments.org
