Hardware and Software: Verification and Testing
Year: 2009
Type: conference-paper
Authors: Hutchison, David, Pandu Rangan, C, Steffen, Bernhard, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M, Mattern, Friedemann, Mitchell, John C, Nierstrasz, Oscar, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y, Weikum, Gerhard, Chockler, Hana, Hu, Alan J, Sudan, Madhu, Naor, Moni
Institutions: IBM Research - Haifa, University of British Columbia
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4298332656