Proceedings of the workshop on automated theorem proving in software engineering
| Author | : |
| Publisher | : |
| Total Pages | : |
| Release | : |
| ISBN-10 | : OCLC:222394748 |
| ISBN-13 | : |
| Rating | : 4/5 (48 Downloads) |
Book Synopsis Proceedings of the workshop on automated theorem proving in software engineering by :
Download or read book Proceedings of the workshop on automated theorem proving in software engineering written by and published by . This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: