iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://citations.springer.com/item?doi=10.1007/BFb0014319
SpringerCitations - Details Page

Citation Details

Chapter

Using ghost variables to prove refinement

Algebraic Methodology and Software Technology, 1996, Volume 1101

ISBN : 978-3-540-61463-0

M. Marcus, A. Pnueli

4 Items cite this Chapter

Page: 1

Chapter

FM 2015: Formal Methods

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor and Wei-Ngan Chin

Series: Lecture Notes in Computer Science, Year: 2015, Volume 9109, Page 496

Read Online

Chapter

Algebraic Methodology and Software Technology

M. Marcus and A. Pnueli

Series: Lecture Notes in Computer Science, Year: 1996, Volume 1101, Page 226

Read Online

Chapter

Verified Software: Theories, Tools, Experiments

Ali Sezgin, Serdar Tasiran and Shaz Qadeer

Series: Lecture Notes in Computer Science, Year: 2010, Volume 6217, Page 25

Read Online

Chapter

Theory and Applications of Models of Computation

Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao and Yong Li

Series: Lecture Notes in Computer Science, Year: 2012, Volume 7287, Page 61

Read Online

citation rank

66th
percentile

Citations per year

19962015