 |
|
| /Krishnamurthy S., 1998/ |
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
 Contents
|
|
|---|
Identification
/Krishnamurthy S., 1998/ Toward a Formal Theory of Extensible Software
Author(s)
Krishnamurthy, S.Felleisen, M.
Congress/Conference/Publication
FSE'98, Lake Buena Vista, FL, USA, Nov., 1998.
Related publications
Introduction to Formal Methods
 GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|