𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode

✍ Scribed by Wang, Shengyi; Qiu, Zongyan; Qin, Shengchao; Chin, Wei-Ngan

Book ID: 126612748
Publisher: IEEE
Year: 2010
Weight: 267 KB
Category: Article
ISBN: 1424478472
DOI: 10.1109/TASE.2010.24

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 4th IEEE International Sympos

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets

✍ Kahloul, Laid; Chaoui, Allaoua; Djouani, Karim 📂 Article 📅 2010 🏛 IEEE ⚖ 398 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Java Goes TLA+

✍ Lau, Hannes; Nestmann, Uwe 📂 Article 📅 2011 🏛 IEEE ⚖ 701 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Undesirable Aspect Interactions: A Prevention Policy

✍ Sabas, Arsène; Shankar, Subash; Wiels, Virginie; Boyer, Michel 📂 Article 📅 2011 🏛 IEEE ⚖ 144 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Model Checking: A Coalgebraic Approach

✍ Gao, Jianhua; Jiang, Ying 📂 Article 📅 2011 🏛 IEEE ⚖ 318 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism

✍ Smith, Graeme; Helke, Steffen 📂 Article 📅 2011 🏛 IEEE ⚖ 182 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Automatic Specification-Based Testing: Challenges and Possibilities

✍ Liu, Shaoying 📂 Article 📅 2011 🏛 IEEE ⚖ 217 KB