zbMath0843.68021MaRDI QIDQ4873931
Pavol Návrat, Mária Bieliková
Publication date: 21 April 1996
Mathematics Subject Classification ID
Theory of software (68N99)