Travelled to:
1 × Germany
Collaborated with:
G.T.Leavens
Talks about:
behavior (1) inherit (1) subtyp (1) specif (1) forc (1)
Person: Krishna Kishore Dhara
DBLP: Dhara:Krishna_Kishore
Contributed to:
Wrote 1 papers:
- ICSE-1996-DharaL #behaviour #inheritance #specification #type system
- Forcing Behavioral Subtyping through Specification Inheritance (KKD, GTL), pp. 258–267.