|
by Arnoldus, Jeroen, van den Brand, Mark, Serebrenik, A., Brunekreef, J.J.
Published 2012
“... not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation...”Published 2012
Atlantis Press