Formal Methods and Software Engineering [electronic resource] Proceedings

International Conference 2007) USA ICFEM (9

Formal Methods and Software Engineering [electronic resource] Proceedings by Michael Butler, et al - Berlin Springer 2007

http://dx.doi.org/10.1007/978-3-540-76650-6

9783540766506

005.1 / (e-book)

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832