Iaakov Exman. Software System Theory of the Forbidden Within Discrete Design. In Enrique Cabello, Jorge S. Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, editors, Software Technologies, 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers. Volume 743 of Communications in Computer and Information Science, pages 264-283, Springer, 2016. [doi]
Abstract is missing.