Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Documenting software systems using types
Science of Computer Programming - Software analysis, evolution and re-engineering
Interprocedural slicing of multithreaded programs with applications to Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |