Abstract Threads (English)
- New search for: Lahiri, S.K.
- New search for: Malkis, A.
- New search for: Qadeer, S.
- New search for: Lahiri, S.K.
- New search for: Malkis, A.
- New search for: Qadeer, S.
- New search for: Barthe, G.
- New search for: Hermenegildo, M.
In:
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010 Madrid, Spain, January 17-19, 2010 Proceedings
5944
;
231-246
;
2010
-
ISSN:
- Article (Journal) / Print
-
Title:Abstract Threads
-
Contributors:Lahiri, S.K. ( author ) / Malkis, A. ( author ) / Qadeer, S. ( author ) / Barthe, G. / Hermenegildo, M.
-
Published in:Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010 Madrid, Spain, January 17-19, 2010 Proceedings , 5944 ; 231-246LECTURE NOTES IN COMPUTER SCIENCE , 5944 ; 231-246
-
Publisher:
- New search for: SPRINGER-VERLAG
-
Publication date:2010-01-01
-
Size:16 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.