Additional Metadata
THEME Software (theme 1)
Publisher North-Holland
Journal Science of Computer Programming
Citation
van Deursen, A, & Moonen, L.M.F. (2006). Documenting software systems using types. Science of Computer Programming, 60, 205–220.