-
) - Three-dimensional conformally flat Lorentzian manifolds through experimentation (Karin Melnick) - Representation-theoretic methods in algebraic geometry (Karin Melnick & Pieter Belmans) - Computational
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions