BibTeX
@TECHREPORT{Agerholm94ahol,
author = {Sten Agerholm},
title = {A HOL basis for reasoning about functional programs},
institution = {},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
