Personas involucradas con métodos formales .
Véase también
- Autores de métodos formales, Google Scholar
Subcategorías
Esta categoría solo tiene la siguiente subcategoría.
yo
- Investigadores en programación lógica ( 16 P)
Páginas en la categoría «Métodos formales para personas»
Las siguientes 140 páginas pertenecen a esta categoría, de un total de 140. Es posible que esta lista no refleje cambios recientes .