Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=291517-0
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/gnd/291517-0 |
| Organisation | Computer Systems Laboratory (Stanford, Calif.). Program Analysis and Verification Group |
| Andere Namen | Program Analysis and Verification Group (Stanford, Calif.) |
| Land | USA (XD-US) |
| Geografischer Bezug | Ort: Stanford, Calif. |
| Beziehungen zu Organisationen | Administrativ übergeordnet: Stanford University. Computer Systems Laboratory |

