Boolean Algebra of Shape Analysis Constraints

English
French

English
French

Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Boolean Algebra of Shape Analysis Constraints

conference paper

Boolean Algebra of Shape Analysis Constraints

•

Rinard, Martin

2004

Verification, Model Checking and Abstract Interpretation

Contact
infoscience@epfl.ch

Follow us on Facebook
Follow us on Instagram
Follow us on LinkedIn
Follow us on X
Follow us on Youtube

Accessibility Legal notice Privacy policy Cookie settings End User Agreement Get help Feedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés