2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016
| Title | 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 |
| Publication Type | Conference Proceedings |
| Year of Publication | 2016 |
| Publisher | IEEE |
| ISBN Number | 978-1-5090-2791-0 |
| Keywords | 1329759 |
| URL | http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7786794 |
| Citation Key | DBLP:conf/memocode/2016 |