Zuck, Lenore D., 1958-
Zuck, Lenore D.
Lenore Zuck Israeli-American computer scientist
VIAF ID: 62481177 ( Personal )
Permalink: http://viaf.org/viaf/62481177
Preferred Forms
- 100 0 _ ‡a Lenore Zuck ‡c Israeli-American computer scientist
-
-
-
- 100 1 _ ‡a Zuck, Lenore D.
- 100 1 _ ‡a Zuck, Lenore D. ‡d 1958-
- 100 1 _ ‡a Zuck, Lenore D. ‡d 1958-
-
-
-
- 100 1 _ ‡a Zuck, Lenore D., ‡d 1958-
Works
Title | Sources |
---|---|
TACAS 2005 | |
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings | |
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings | |
VMCAI 2003 |