Automated Technology for Verification and Analysis
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Springer International Publishing,
2013
|
| Edition: | 1 |
| Subjects: | |
| Online Access: | Full text available on Springer Off-campus access |
| Published: | Vol. 8172 |
|---|---|
| Item Description: | <strong>Off-Campus Access:</strong> Athens ID and Password Required <strong>On-Campus Access:</strong> No User ID or Password Required |
| Physical Description: | 1 online resource |
| Format: | Mode of access: Internet |
| ISBN: | 978-3-319-02443-1 978-3-319-02444-8 |
| Access: | Electronic access restricted to authorized BRAC University faculty, staff and students |