dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kuldeep Kumar (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Strategies for Incorporating Formal Specifications in Software Development. Commun. ACM 37(10): 74-86 (1994)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Informal and Formal Requirements Specification Languages: Bridging the Gap. IEEE Trans. Software Eng. 17(5): 454-466 (1991)

Selection of 2 from 46 records - Kuldeep Kumar has 63 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page