Computer-aided verification :
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 28275800
- Subject: Computer software Evaluation Congresses.
- Subject code: QA
- Publication history:
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| Emory University (EMU) | Scholars Trust | 2nd-3rd (1990-1991), 5th-19th (1993-2007) | 20351231 |
| HathiTrust (HATHI) | HTDL | 1990-1992; 1992 (4); 1993; 1993 (5); 1994; 1994 (6); 1995; 1995 (7); 1996; 1996 (8); 1997-1998; 1998 (10); 1999; 1999 (11); 2000; 2000 (12); 2001-2005 | permanent |
| Syracuse University (SYB) | EAST | 3rd (1991)-13th (2001) | 20310630 |
| Tufts University (TFW) | EAST | 1990-2004 | 20310630 |