Inproceedings,

On Behavioral Programming.

.
Haifa Verification Conference, volume 7857 of Lecture Notes in Computer Science, page 1. Springer, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews