2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE, 2016. [doi]

Conference: memocode2016

@proceedings{memocode-2016,
  title = {2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016},
  year = {2016},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7786794},
  researchr = {https://researchr.org/publication/memocode-2016},
  cites = {0},
  citedby = {0},
  booktitle = {2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016},
  conference = {memocode},
  publisher = {IEEE},
  isbn = {978-1-5090-2791-0},
}