Author:
Breuer Peter T.,Pickin Simon
Publisher
Springer Science and Business Media LLC
Reference27 articles.
1. American National Standard for Information Systems (1989) Programming language C, ANSI X3.159-1989, American National Standards Institute
2. Balinski ML (1961) An algorithm for finding all vertices of convex polyhedral sets. SIAM J 9: 1
3. Ball T, Rajamani SK (2002) The SLAM project: debugging system software via static analysis. In: Proceedings of POPL’02: Proceedings of the ACM SIGPLAN-SIGACT conference on principles of programming languages
4. Barnett M, Rustan K, Leino M, Schulte W (2004) The Spec# programming system: an overview, CASSIS 2004. In: LNCS, vol 3362. Springer, Heidelberg
5. Breuer PT, Garciá Valls M (2004) Static deadlock detection in the Linux Kernel, pp 52–64. In: Llamosí A, Strohmeier A (eds) Reliable Software Technologies—Ada-Europe 2004, 9th Ada-Europe international conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14–18, 2004 . ISBN 3-540-22011-9. LNCS, vol 3063. Springer, Heidelberg
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A visual framework to support collaborative coding activities;2019 29th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE);2019-09