"Derivación deductiva de programas funcionales con patrones."

Jesus Ángel Velázquez-Iturbide (1990)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2023-02-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics