Volver atrás Publicación
Vidal Oriola Germán Francisco
2013
Towards Erlang Verification by Term Rewriting