Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Chand, Saksham
and
Liu, Yanhong A.
2018.
NASA Formal Methods.
Vol. 10811,
Issue. ,
p.
70.
Shilov, Nikolay
2018.
Etude on Recursion Elimination.
Modeling and Analysis of Information Systems,
Vol. 25,
Issue. 5,
p.
549.
Bakanov, Konstantin
Spence, Ivor
and
Vandierendonck, Hans
2019.
Stream-Based Representation and Incremental optimization of Technical Market Indicators.
p.
833.
Stoller, Scott D.
and
Liu, Yanhong A.
2019.
Data and Applications Security and Privacy XXXIII.
Vol. 11559,
Issue. ,
p.
359.
Shilov, Nikolay V.
and
Danko, Danila
2020.
Frontiers in Software Engineering Education.
Vol. 12271,
Issue. ,
p.
246.
Smith, Douglas R.
and
Westfold, Stephen J.
2020.
Formal Methods. FM 2019 International Workshops.
Vol. 12233,
Issue. ,
p.
371.
Shi, Haipeng
Shi, Haihe
and
Xu, Shenghua
2021.
Theoretical Computer Science.
Vol. 1352,
Issue. ,
p.
14.
Smith, Douglas R.
and
Nedunuri, Srinivas
2024.
The Practice of Formal Methods.
Vol. 14781,
Issue. ,
p.
77.
Smith, Douglas R.
and
Nedunuri, Srinivas
2024.
NASA Formal Methods.
Vol. 14627,
Issue. ,
p.
147.