Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Silva, Alexandra.

Overview
Works: 1 works in 3 publications in 1 languages
Titles
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: SpringerLink (Online service); Leino, K. Rustan M.; Silva, Alexandra. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: Silva, Alexandra.; Constable, Robert L.; SpringerLink (Online service) (Language materials, printed)
Language, Logic, and Computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / by: Sutton, Peter.; Silva, Alexandra.; Umbach, Carla.; SpringerLink (Online service); Staton, Sam. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / by: Wassermann, Renata.; Silva, Alexandra.; de Queiroz, Ruy.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Language, logic, and computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Silva, Alexandra.; SpringerLink (Online service) (Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: Silva, Alexandra.; Leino, K. Rustan M.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / by: Silva, Alexandra.; Wassermann, Renata.; SpringerLink (Online service); de Queiroz, Ruy. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login