SEST: SE Specification Tool-set - Lemmers, A.J.J.; Keuning, M.F.R.; Jokipii, M. (National Aerospace Laboratory NLR, 2003)
Keywords: Mathematical and computer sciences; Military operations research