Languages
Reynolds, Andrew.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
VSTTE (Conference) (2023 :); Reynolds, Andrew.; Tasiran, Serdar.; SpringerLink (Online service)
(Electronic resources)
The Penguin book of new Russian writing : = Russia's Fleurs du mal /
by:
Erofeev, V. V.; Reynolds, Andrew.
(Language materials, printed)
Subjects