Loop Summarization Using Abstract Transformers

Metadata only

Author

Date

2008

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Automated technology for verification and analysis : 6th international symposium : proceedings

Journal / series

Lecture Notes in Computer Science

Volume

5311

Pages / Article No.

111 - 125

Publisher

Springer

Event

6th International Symposium on Automated Technology for Verification and Analysis, Ooctober 20-23, 2008

Organisational unit

03686 - Kröning, Daniel

More

ETH Bibliography

yes

Altmetrics

Research Collection