Author:
Alzahrani Nasser,Khalil Ibrhaim,Yi Xun
Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;N Alzahrani,2016
2. Alzahrani, N., Spichkova, M., Blech, J.O.: From temporal models to property-based testing. arXiv preprint
arXiv:1705.10032
(2017)
3. Baez, J.C., Fong, B.: A compositional framework for passive linear networks. arXiv preprint
arXiv:1504.05625
(2015)
4. Barr, M., Wells, C.: Category Theory for Computing Science, vol. 49. Prentice Hall, New York (1990)
5. Lecture Notes in Computer Science;A Bove,2009